Module fast_reject 

Re-exports

use std::fmt::Debug; 🔒

use std::fmt::Debug; 🔒

use std::hash::Hash; 🔒

use std::hash::Hash; 🔒

use std::iter; 🔒

use std::marker::PhantomData; 🔒

use rustc_ast_ir::Mutability; 🔒

use rustc_macros::Decodable_NoContext; 🔒

use rustc_macros::Encodable_NoContext; 🔒

use rustc_macros::StableHash; 🔒

use crate::visit::TypeVisitableExt as _; 🔒

use crate as ty; 🔒

use crate::Const; 🔒

use crate::Interner; 🔒

use crate::inherent::*; 🔒

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.