use rustc::hir::map as hir_map;
use rustc::session::CrateDisambiguator;
-use rustc::traits::{self};
use rustc::ty::subst::Subst;
use rustc::ty::{self, ToPredicate, Ty, TyCtxt, WithConstness};
use rustc_data_structures::svh::Svh;
use rustc_hir as hir;
use rustc_hir::def_id::{CrateNum, DefId, LOCAL_CRATE};
+use rustc_infer::traits;
use rustc_span::symbol::Symbol;
use rustc_span::Span;
-fn sized_constraint_for_ty(tcx: TyCtxt<'tcx>, adtdef: &ty::AdtDef, ty: Ty<'tcx>) -> Vec<Ty<'tcx>> {
+fn sized_constraint_for_ty<'tcx>(
+ tcx: TyCtxt<'tcx>,
+ adtdef: &ty::AdtDef,
+ ty: Ty<'tcx>,
+) -> Vec<Ty<'tcx>> {
use ty::TyKind::*;
let result = match ty.kind {