rustc_
ty_
utils
1.89.0-nightly
(44f415c1d 2025-06-06)
In rustc_
ty_
utils::
implied_
bounds
rustc_ty_utils
::
implied_bounds
Function
assumed_wf_types
Copy item path
Source
fn assumed_wf_types<'tcx>( tcx:
TyCtxt
<'tcx>, def_id:
LocalDefId
, ) -> &'tcx [(
Ty
<'tcx>,
Span
)]