]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #49626 - fanzier:chalk-lowering, r=scalexm
authorbors <bors@rust-lang.org>
Tue, 17 Apr 2018 11:31:19 +0000 (11:31 +0000)
committerbors <bors@rust-lang.org>
Tue, 17 Apr 2018 11:31:19 +0000 (11:31 +0000)
Implement Chalk lowering rule Normalize-From-Impl

This extends the Chalk lowering pass with the "Normalize-From-Impl" rule for generating program clauses from a trait definition as part of #49177.

r? @nikomatsakis

1  2 
src/librustc/ich/impls_ty.rs

Simple merge