#1399 removed CheckerFacade.declarationsOf and valueDeclarationOf. #1407 and #1351 merged after it with calls to them, so main does not type-check. Read symbol.declarations and symbol.valueDeclaration instead, as the rest of the compiler does.
arr && arr[0]
let
this
1 ** Infinity