unison/unison-src/transcripts/fix2354.md


```ucm:hide
scratch/main> builtins.merge
```

Tests that delaying an un-annotated higher-rank type gives a normal
type error, rather than an internal compiler error.

```unison:error
f : (forall a . a -> a) -> Nat
f id = id 0

x = 'f
```
Fix a shadowing bug in `instantiateL` 2022-10-12 02:25:05 +03:00
			```ucm:hide
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> builtins.merge`
Fix a shadowing bug in `instantiateL` 2022-10-12 02:25:05 +03:00			```

			`Tests that delaying an un-annotated higher-rank type gives a normal`
			`type error, rather than an internal compiler error.`

			```unison:error
			`f : (forall a . a -> a) -> Nat`
			`f id = id 0`

			`x = 'f`
			```