{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
                // Could change this to a bug, but there's lots of diagnostic code re-lowering
            } else if !ty.references_error() {
                // or re-typechecking nodes that were already typecked.