]> git.lizzy.rs Git - rust.git/commit
propagate sub-obligations better
authorNiko Matsakis <niko@alum.mit.edu>
Fri, 10 Mar 2017 10:19:49 +0000 (05:19 -0500)
committerNiko Matsakis <niko@alum.mit.edu>
Wed, 12 Apr 2017 00:32:46 +0000 (20:32 -0400)
commit4e4bdea0ae8b3b1995b002374db1a7b7639eb52d
tree8249626ed5f61d07759babe0f2840b103915b517
parent58609ef879e604d161f4ee6c612d6d127120e289
propagate sub-obligations better

The most interesting place is the hinting mechanism; once we start
having subtyping obligations, it's important to see those through.
src/librustc_typeck/check/method/probe.rs
src/librustc_typeck/check/mod.rs