{"ast_node_type":"variable","tokens":[{"end":49,"kind":"keyword","start":0,"text":"let"}]}
        let cause = self.pattern_cause(ti, span);
        // then that's equivalent to there existing a LUB.
        if let Err(err) = self.demand_suptype_with_origin(&cause, expected, pat_ty) {