Remove TODO we don't want to do

If the extern types are represented with associated types, then we can't match
on them.
This commit is contained in:
Nick Fitzgerald
2021-09-23 11:22:17 -07:00
committed by Chris Fallin
parent 91904aa756
commit 66ba1d89b5

View File

@@ -18,4 +18,3 @@
- Ideas from discussion with fitzgen - Ideas from discussion with fitzgen
- Turn arg-polarity and exprs on extractors into purer "InstFormat" - Turn arg-polarity and exprs on extractors into purer "InstFormat"
- Extern types as associated types on Context trait