{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"ty.obligations"}]}
                    ty.obligations = PredicateObligations::new();
                if result.must_apply_considering_regions() {
                }