[−][src]Function minitt::check::expr::check_fallback
pub fn check_fallback(
index: u32,
tcs: TCS,
body: Expression,
signature: Value
) -> TCM<TCS>
Fallback rule of instance check.
First infer the expression type, then do subtyping comparison.