pub fn can_convert_typeexpr(from: &TypeExpr, to: &TypeExpr) -> boolExpand description
Return true if from can be coerced into to based on registered compatibility.
use daedalus_data::model::{TypeExpr, ValueType};
use daedalus_data::typing::can_convert_typeexpr;
assert!(can_convert_typeexpr(
&TypeExpr::Scalar(ValueType::Int),
&TypeExpr::Scalar(ValueType::Int),
));