]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c8887c) | patch
port the relate-types code from NLL type-check into a type-op
authorNiko Matsakis <niko@alum.mit.edu>
Wed, 24 Oct 2018 16:08:34 +0000 (12:08 -0400)
committerNiko Matsakis <niko@alum.mit.edu>
Wed, 24 Oct 2018 19:12:50 +0000 (15:12 -0400)
commit62f0fc51126795848fff540e9776ee331753344d
tree26c14b71735b6ead1b31fedd0badaeb79ff38d00tree | snapshot
parent7c8887ccbf7104e98ead7539f3cfbd42332b5e4dcommit | diff
port the relate-types code from NLL type-check into a type-op

Add regression tests for #55219 and #55241

Also another test where a duplicate-like error appears to have been
suppressed; I'm not 100% sure why this output changes, though I could
imagine that some duplicate suppression is enabled by this PR.
src/librustc/infer/at.rs diff | blob | history
src/librustc/traits/query/type_op/ascribe_user_type.rs diff | blob | history
src/librustc_mir/borrow_check/nll/type_check/mod.rs diff | blob | history
src/librustc_traits/type_op.rs diff | blob | history
src/test/ui/nll/user-annotations/issue-55219.rs [new file with mode: 0644] blob
src/test/ui/nll/user-annotations/issue-55241.rs [new file with mode: 0644] blob
src/test/ui/regions/regions-free-region-ordering-caller1.nll.stderr diff | blob | history
Empowering everyone to build reliable and efficient software.