]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e4bdea) | patch
use obligations to propagate sub-typing instead of the TV code
authorNiko Matsakis <niko@alum.mit.edu>
Fri, 10 Mar 2017 10:21:27 +0000 (05:21 -0500)
committerNiko Matsakis <niko@alum.mit.edu>
Wed, 12 Apr 2017 00:32:46 +0000 (20:32 -0400)
commit105ec7e3bbbef50076f0e6963e8a9327bacf7b5f
treef54223d1bf3625ca4153db54f3da5b3be18e2ca6tree | snapshot
parent4e4bdea0ae8b3b1995b002374db1a7b7639eb52dcommit | diff
use obligations to propagate sub-typing instead of the TV code
src/librustc/infer/sub.rs diff | blob | history
src/librustc/traits/mod.rs diff | blob | history
src/test/compile-fail/issue-7813.rs diff | blob | history
Empowering everyone to build reliable and efficient software.