{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"return"}]}
            return success(vec![], ty, goals);
            always!(to_mt == Mutability::Not); // can only coerce &T -> &U
        }