]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5511add) | patch
Extend the implicator so it produces general obligations and also so
authorNiko Matsakis <niko@alum.mit.edu>
Sat, 14 Feb 2015 00:52:55 +0000 (19:52 -0500)
committerNiko Matsakis <niko@alum.mit.edu>
Wed, 18 Feb 2015 20:23:34 +0000 (15:23 -0500)
commit2939e483fd8a32d330c837725513b493fd457dc3
tree2ef40b4ce7711ff68e3c140ea65bfc4dd1a984a6tree | snapshot
parent5511add74205d8547f98959b01e5053be2395723commit | diff
Extend the implicator so it produces general obligations and also so
that it produces "outlives" relations for associated types. Add
several tests relating to #22246.
12 files changed:
src/librustc/middle/infer/unify.rs diff | blob | history
src/librustc_borrowck/borrowck/gather_loans/gather_moves.rs diff | blob | history
src/librustc_borrowck/borrowck/gather_loans/move_error.rs diff | blob | history
src/librustc_typeck/check/implicator.rs diff | blob | history
src/librustc_typeck/check/mod.rs diff | blob | history
src/librustc_typeck/check/regionck.rs diff | blob | history
src/librustc_typeck/check/wf.rs diff | blob | history
src/test/compile-fail/regions-assoc-type-in-supertrait-outlives-container.rs [new file with mode: 0644] blob
src/test/compile-fail/regions-assoc-type-outlives-container-hrtb.rs [new file with mode: 0644] blob
src/test/compile-fail/regions-assoc-type-outlives-container-wc.rs [new file with mode: 0644] blob
src/test/compile-fail/regions-assoc-type-outlives-container.rs [new file with mode: 0644] blob
src/test/run-pass/regions-issue-22246.rs [new file with mode: 0644] blob
Empowering everyone to build reliable and efficient software.