Skip to main content
assumed_wf_types
rustc_
ty_
utils
1.97.0-nightly
(20de910db 2026-05-02)
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
)]