Module fast_reject

Source

Structs§

DeepRejectCtxt
Given generic arguments, could they be unified after replacing parameters with inference variables or placeholders. This behavior is toggled using the const generics.

Enums§

SimplifiedType
See simplify_type.
TreatParams
Generic parameters are pretty much just bound variables, e.g. the type of fn foo<'a, T>(x: &'a T) -> u32 { ... } can be thought of as for<'a, T> fn(&'a T) -> u32.

Functions§

simplify_type
Tries to simplify a type by only returning the outermost injective¹ layer, if one exists.