Skip to main content

sizedness_bounds

Function sizedness_bounds 

Source
pub(crate) fn sizedness_bounds(cx: &mut DocContext<'_>, generics: &mut Generics)
Expand description

Reconstruct all sizedness bounds on non-Self type parameters as they appear in the surface language given generics that were cleaned from the middle::ty IR.

For example, assuming T is a type parameter of the owner of generics, T: Sized gets dropped and T: MetaSized gets rewritten to T: ?Sized.