Function candid::types::subtype::subtype_with_config
source · pub fn subtype_with_config(
report: OptReport,
gamma: &mut Gamma,
env: &TypeEnv,
t1: &Type,
t2: &Type
) -> Result<()>
Expand description
Check if t1 <: t2, and report the special opt rule as Slience
, Warning
or Error
.