Module util 

Various utilities for the next-trait-solver.

Structs

BottomUpFolder

ContainsTypeErrors

Discr

MaxUniverse

Finds the max universe present

PlaceholderReplacer

The inverse of BoundVarReplacer: replaces placeholders with the bound vars from which they came.

Traits

CoroutineArgsExt

FloatExt

IntegerExt

IntegerTypeExt

PrimitiveExt

Functions

apply_args_to_binder

clauses_as_obligations 🔒

explicit_item_bounds

explicit_item_self_bounds

sizedness_constraint_for_ty

sizedness_fast_path

upcast_choices 🔒

Casts a trait reference into a reference to one of its super traits; returns None if target_trait_def_id is not a supertrait.