{"ast_node_type":"variable","tokens":[{"end":99,"kind":"keyword","start":0,"text":"let"}]}
        let Some(simp) = simplify_type(self.tcx, self_ty, TreatParams::InstantiateWithInfer) else {
    ) {
            bug!("unexpected incoherent type: {:?}", self_ty)