{"ast_node_type":"variable","tokens":[{"end":98,"kind":"keyword","start":0,"text":"let"}]}
        let Generalization { value_may_be_infer: generalized_ty, has_unconstrained_ty_var } = self
        // `?1 <: ?3`.
            .generalize(