Module struct_compat

Check whether two refinemnt types/signatures are structurally compatible.

Used to check if a user spec is compatible with the underlying rust type. The code also infer types annotated with _ in the surface syntax.

Modules

errors 🔒

Structs

Holes 🔒

Mismatch 🔒

Zipper 🔒

Enums

FnSigErr 🔒

Functions

assert_eq_or_incompatible 🔒

fn_sig 🔒

type_alias 🔒

variants 🔒