Module type_env 

Modules

place_ty 🔒

pretty 🔒

Structs

BasicBlockEnv

BasicBlockEnvData 🔒

BasicBlockEnvShape

TypeEnv

TypeEnvBind 🔒

TypeEnvTrace

A very explicit representation of TypeEnv for debugging/tracing/serialization ONLY.

Enums

LocInfo 🔒

PtrToRefBound 🔒

Functions

generalize_fn_sig 🔒

Generalizes a fn pointer signature to one with the same (rust) shape where all refinements are holes, e.g., for<n> fn(i32[n]) -> i32[n + 1] becomes fn({v. i32[v] | *}) -> {v. i32[v] | *}. The refinement params of the signature are dropped, and so are the requires, ensures and no_panic (which could mention them). The region vars are kept: they come before the refinement params in the binder, so dropping the latter doesn’t shift them.

loc_info 🔒

loc_name 🔒

loc_span 🔒