Module builtin_derive 

Implementation of builtin derive impls.

Structs

FlattenBinders 🔒

Transform a projection for<'a> for<'b> F::Foo<'a, 'b, X> into for<'a, 'b> F::Foo<'a, 'b, X>. Update de Bruijn indexes for enclosing binders, but preserve nested binders.

MentionsPointee 🔒

Functions

coerce_pointee_new_type_param 🔒

coerce_pointee_params 🔒

explicit_own_predicates 🔒

extend_assoc_type_bounds 🔒

generic_params_count

generics_of 🔒

impl_super_outlives

impl_trait

param_env

Not cached in a query, currently used in hir only. If you need this in hir-ty consider introducing a query.

predicates

replace_pointee 🔒

simple_trait_predicates 🔒

trait_args 🔒