]> git.lizzy.rs Git - rust.git/commit
add `Goal::CannotProve` and extract `ProgramClause` struct
authorNiko Matsakis <niko@alum.mit.edu>
Fri, 23 Mar 2018 08:58:18 +0000 (04:58 -0400)
committerNiko Matsakis <niko@alum.mit.edu>
Mon, 23 Apr 2018 17:28:14 +0000 (13:28 -0400)
commitcfbf62f7dfcf2f89d12b59140fe0d0f95dc5afbd
treeb623822b37b5670d15dbb6b897dcba74cfeccb7d
parentc8a52850cffd1e13e1f695451127f981345c72ec
add `Goal::CannotProve` and extract `ProgramClause` struct
src/librustc/ich/impls_ty.rs
src/librustc/traits/mod.rs
src/librustc/traits/structural_impls.rs