///
/// Note that this does *not* recursively check if the substructure of `adt_ty`
/// implements the traits.
-fn type_marked_structural(
+fn type_marked_structural<'tcx>(
infcx: &InferCtxt<'_, 'tcx>,
adt_ty: Ty<'tcx>,
cause: ObligationCause<'tcx>,
seen: FxHashSet<hir::def_id::DefId>,
}
-impl Search<'a, 'tcx> {
+impl<'a, 'tcx> Search<'a, 'tcx> {
fn tcx(&self) -> TyCtxt<'tcx> {
self.infcx.tcx
}