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