Module refinement_resolver 

Modules

errors 🔒

Structs

ImplicitParamCollector 🔒

Collects the implicitly scoped params bound in each scope (see Scope::Implicit), reporting binders used in a position where they are not allowed.

ParamDef 🔒

RefinementResolver 🔒

ScopedVisitorWrapper 🔒

Enums

BinderKind 🔒

Scope 🔒

A scope opened while walking an item. Params are only ever defined when entering the scope that declares them.

Traits

ScopedVisitor 🔒

Type Aliases

ImplicitParams 🔒

Result 🔒