... | ... | @@ -199,7 +199,7 @@ type N0 = $(...blah...) |
|
|
|
|
|
the renamer doesn't know what the splice will expand to, because splices are currently
|
|
|
run later, in the type checker. So it pessimistically assumes that the
|
|
|
splice could expand to mention anything in scope. But that pessimistic assuption triggers
|
|
|
splice could expand to mention anything in scope. But that pessimistic assumption triggers
|
|
|
the error message
|
|
|
|
|
|
```wiki
|
... | ... | |