diff --git a/src/semcheck/mismatch.rs b/src/semcheck/mismatch.rs index d3f0481f..335d2f19 100644 --- a/src/semcheck/mismatch.rs +++ b/src/semcheck/mismatch.rs @@ -8,7 +8,7 @@ use rustc::{ hir::def_id::DefId, ty::{ self, - relate::{Relate, RelateResult, TypeRelation}, + relate::{Relate, RelateResult, TraitObjectMode, TypeRelation}, subst::Substs, Ty, TyCtxt, Visibility::Public, @@ -94,6 +94,10 @@ impl<'a, 'gcx, 'tcx> TypeRelation<'a, 'gcx, 'tcx> for MismatchRelation<'a, 'gcx, "Mismatch" } + fn trait_object_mode(&self) -> TraitObjectMode { + TraitObjectMode::NoSquash + } + fn a_is_expected(&self) -> bool { true }