]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #104906 - spastorino:remove-ascribeusertypecx, r=compiler-errors
authorMatthias Krüger <matthias.krueger@famsik.de>
Sat, 26 Nov 2022 09:39:12 +0000 (10:39 +0100)
committerGitHub <noreply@github.com>
Sat, 26 Nov 2022 09:39:12 +0000 (10:39 +0100)
commit1fe18a5dad0efde1d4dd31afd49fc60f21d3f993
treee9cfb5253d51af8187cbeb493898a1c0e4390db9
parent85865448555c91711573c1b25d62010e36f512b0
parent3c9b30e65876090b2e1e4944dac24d7e9e182d1f
Rollup merge of #104906 - spastorino:remove-ascribeusertypecx, r=compiler-errors

Remove AscribeUserTypeCx

r? ``@compiler-errors``

This basically inlines `AscribeUserTypeCx::relate_mir_and_user_ty` into `type_op_ascribe_user_type_with_span` which is the only place where it's used and makes direct use of `ObligationCtxt` API.