---

yaml
---
r: 191626
b: refs/heads/tmp
c: bd2096c
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -34,6 +34,6 @@ refs/heads/building: 126db549b038c84269a1e4fe46f051b2c15d6970
 refs/heads/beta: 522d09dfecbeca1595f25ac58c6d0178bbd21d7d
 refs/heads/windistfix: 7608dbad651f02e837ed05eef3d74a6662a6e928
 refs/tags/1.0.0-alpha: e42bd6d93a1d3433c486200587f8f9e12590a4d7
-refs/heads/tmp: 99a508bc1795a7913ad790a3bf60f68dc782f282
+refs/heads/tmp: bd2096c497580da263c20e8231666a995722ac29
 refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
 refs/tags/homu-tmp: 4a5101a42f8ea36bdbe14749e672ab78cb971726

branches/tmp/src/librustc_trans/trans/meth.rs

@@ -842,13 +842,20 @@ fn emit_vtable_methods<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
                 return nullptr;
             }
 
-            let predicates =
-                monomorphize::apply_param_substs(tcx,
-                                                 &substs,
-                                                 &impl_method_type.predicates.predicates);
-            if !predicates_hold(ccx, predicates.into_vec()) {
-                debug!("emit_vtable_methods: predicates do not hold");
-                return nullptr;
+            // If this is a default method, it's possible that it
+            // relies on where clauses that do not hold for this
+            // particular set of type parameters. Note that this
+            // method could then never be called, so we do not want to
+            // try and trans it, in that case. Issue #23435.
+            if ty::provided_source(tcx, impl_method_def_id).is_some() {
+                let predicates =
+                    monomorphize::apply_param_substs(tcx,
+                                                     &substs,
+                                                     &impl_method_type.predicates.predicates);
+                if !predicates_hold(ccx, predicates.into_vec()) {
+                    debug!("emit_vtable_methods: predicates do not hold");
+                    return nullptr;
+                }
             }
 
             trans_fn_ref_with_substs(ccx,