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