{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"{"}]}
        {
            && !matches!(inspect_goal.source(), GoalSource::InstantiateHigherRanked)
            self.obligations_for_self_ty.push(traits::Obligation::new(