<!-- Thanks for submitting an issue to AssemblyScript! Please take a moment to read the contributing guidelines linked below to get off to a good start 🙂 --> The following snippet should emit a diagnostic instead of an assertion ```ts export class B { constructor(a: i32) { super(x); } } export function add(a: i32, b: i32): i32 { new B(a); return a + b; } ``` I believe that the diagnostic should be something like: ``` 'super' can only be referenced in a derived class. ```