{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
        // FIXME: This never check is odd, but required with out we do inference right now
        let ty = self.insert_type_vars_shallow(ty);
        if !expected.is_never() && !self.unify(&ty, &expected) {