{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"Ok(Generalization"}]}
        Ok(Generalization { value_may_be_infer, has_unconstrained_ty_var })
        let has_unconstrained_ty_var = generalizer.has_unconstrained_ty_var;
    }