Struct cranelift_isle::ast::Converter
source · pub struct Converter {
pub term: Ident,
pub inner_ty: Ident,
pub outer_ty: Ident,
pub pos: Pos,
}
Expand description
An implicit converter: the given term, which must have type (inner_ty) -> outer_ty, is used either in extractor or constructor position as appropriate when a type mismatch with the given pair of types would otherwise occur.
Fields§
§term: Ident
The term name.
inner_ty: Ident
The “inner type”: the type to convert from, on the right-hand side, or to, on the left-hand side. Must match the singular argument type of the term.
outer_ty: Ident
The “outer type”: the type to convert to, on the right-hand side, or from, on the left-hand side. Must match the ret_ty of the term.
pos: Pos
The position of this converter decl.