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.