about summary refs log tree commit diff
path: root/src/librustc/middle/fast_reject.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/librustc/middle/fast_reject.rs')
-rw-r--r--src/librustc/middle/fast_reject.rs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/librustc/middle/fast_reject.rs b/src/librustc/middle/fast_reject.rs
index 62cf47da687..dcbd94b8482 100644
--- a/src/librustc/middle/fast_reject.rs
+++ b/src/librustc/middle/fast_reject.rs
@@ -58,7 +58,7 @@ pub fn simplify_type(tcx: &ty::ctxt,
         ty::ty_vec(..) => Some(VecSimplifiedType),
         ty::ty_ptr(_) => Some(PtrSimplifiedType),
         ty::ty_trait(ref trait_info) => {
-            Some(TraitSimplifiedType(trait_info.principal.def_id()))
+            Some(TraitSimplifiedType(trait_info.principal_def_id()))
         }
         ty::ty_struct(def_id, _) => {
             Some(StructSimplifiedType(def_id))
@@ -86,6 +86,9 @@ pub fn simplify_type(tcx: &ty::ctxt,
         ty::ty_bare_fn(_, ref f) => {
             Some(FunctionSimplifiedType(f.sig.0.inputs.len()))
         }
+        ty::ty_projection(_) => {
+            None
+        }
         ty::ty_param(_) => {
             if can_simplify_params {
                 Some(ParameterSimplifiedType)