Function check_node 

pub(crate) fn check_node<'genv>(
    genv: GlobalEnv<'genv, '_>,
    node: &OwnerNode<'genv>,
) -> Result<WfckResults, ErrorGuaranteed>