Function check 

pub fn check(
    command: &str,
    host: &dyn Host,
    args: CompileArgs<'_>,
    rules: &mut RulesHook<'_>,
) -> Res

plan check: the plan identity of a definition that compiles.