{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"return"}]}
            return success(vec![], ty, obligations);
            assert!(mutbl_b.is_not()); // can only coerce &T -> &U
        }