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