Module next_solver 

Things relevant to the next trait solver.

Re-exports

pub use interner::*;

pub use predicate::*;

Modules

abi

ABI-related things in the next-trait-solver.

fold

Fold impls for the next-trait-solver.

fulfill

Fulfill loop for next-solver.

generics

Things related to generics in the next-trait-solver.

infer

Infer context the next-trait-solver.

interner

Things related to the Interner in the next-trait-solver.

normalize

obligation_ctxt

predicate

Things related to predicates.

util

Various utilities for the next-trait-solver.

Structs

AdtIdWrapper

BoundConst

BoundRegion

BoundTy

CallableIdWrapper

ClosureIdWrapper

Const

ConstBytes

CoroutineIdWrapper

EarlyParamRegion

ErrorGuaranteed

ExprConst

ExternalConstraints

GeneralConstIdWrapper

GenericArgs

ImplIdWrapper

LateParamRegion

The parameter representation of late-bound function parameters, “some region at least as big as the scope fr.scope”.

ParamConst

ParamTy

PredefinedOpaques

Region

RegionAssumptions

SolverDefIds

TraitIdWrapper

Ty

TypeAliasIdWrapper

Tys

Valtree

ValueConst

A type-level constant value.

Enums

BoundRegionKind

BoundTyKind

Ctor

GenericArg

Mutability

SolverDefId

Term

TermVid

Functions

error_for_param_kind

mk_param

references_non_lt_error

Type Aliases

AliasTy

Binder

Canonical

CanonicalQueryInput

CanonicalVarKind

CanonicalVarValues

ConstKind

EarlyBinder

ExternalConstraintsData

FnHeader

FnSig

FxIndexMap

Goal

ImplTraitIdx

OpaqueTypeKey

PlaceholderConst

PlaceholderRegion

PlaceholderTy

PolyFnSig

QueryResult

RegionKind

SimplifiedType

TyKind

TypeError

TypingMode

UnevaluatedConst