Function rustc_middle::ty::query::query_provided_to_value::trait_def

pub fn trait_def<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: trait_def<'tcx>
) -> Erase<trait_def<'tcx>>