Expand description
A visitor for types in surface
In general there’s no specific order except that refinement parameters should be visited in an order that matches their scope. Name resolution relies on this gurantee.
Traits§
Functions§
- walk_
base_ sort - walk_
bty - walk_
constant - walk_
defn - walk_
ensures - walk_
enum_ def - walk_
expr - walk_
field_ expr - walk_
fn_ input - walk_
fn_ output - walk_
fn_ ret_ ty - walk_
fn_ sig - walk_
generic_ arg - walk_
generic_ param - walk_
generics - walk_
impl - walk_
impl_ assoc_ reft - walk_
indices - walk_
path - walk_
path_ expr - walk_
path_ expr_ segment - walk_
path_ segment - walk_
qualifier - walk_
refine_ arg - walk_
refine_ param - walk_
sort - walk_
sort_ path - walk_
struct_ def - walk_
trait - walk_
trait_ assoc_ reft - walk_
trait_ ref - walk_ty
- walk_
ty_ alias - walk_
variant - walk_
variant_ ret - walk_
where_ predicate