{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":")"}]}
    ) -> Vec<PredicateObligation<'tcx>> {
        &self,
        assert!(!self.in_snapshot(), "cannot take goals in a snapshot");