rustc_
ty_
utils
1.89.0-nightly
(4d051fb30 2025-05-18)
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
)]