Trigger new Agda crash
Trigger new Agda crash

Typecheck Parametric.Change.Specification to observe this crash:

```
An internal error has occurred. Please report this as a bug.
Location of the error: src/full/Agda/TypeChecking/Substitute.hs:93
```

Typechecking from elsewhere will stop on other errors.

inc-lc/ilc-agda