Rebase fallout

This commit is contained in:
Oliver Schneider 2018-06-28 11:19:45 +02:00
parent 4d473300a2
commit 2a55d2fc45

View file

@ -14,7 +14,7 @@
use infer::{InferCtxt, InferOk};
use infer::at::At;
use mir::interpret::{GlobalId, ConstVal};
use mir::interpret::{GlobalId, ConstValue};
use traits::{Obligation, ObligationCause, PredicateObligation, Reveal};
use traits::project::Normalized;
use ty::{self, Ty, TyCtxt};