]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from: 1fe18a5)
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)
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.


No differences found
Empowering everyone to build reliable and efficient software.