typechecker crash when `Code` has no parameter

[jaked]

if you type

let x = 10

then edit to

let x: Code = 10

the editor crashes (the code parses but Code doesn't have a parameter)