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.

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.

mapping

Things useful for mapping to/from Chalk and next-trait-solver types.

predicate

Things related to predicates.

util

Various utilities for the next-trait-solver.

Structs

BoundRegion

BoundTy

Const

ConstBytes

EarlyParamRegion

ErrorGuaranteed

ExprConst

ExternalConstraints

GenericArgs

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

Ty

Tys

Valtree

ValueConst

A type-level constant value.

Enums

BoundRegionKind

BoundTyKind

Ctor

GenericArg

SolverDefId

Term

TermVid

Functions

error_for_param_kind

mk_param

Type Aliases

AliasTy

Binder

Canonical

CanonicalQueryInput

CanonicalVarKind

CanonicalVarValues

ConstKind

EarlyBinder

ExternalConstraintsData

FnHeader

FxIndexMap

Goal

OpaqueTypeKey

PlaceholderConst

PlaceholderRegion

PlaceholderTy

PolyFnSig

PredefinedOpaquesData

TyKind

TypingMode

UnevaluatedConst