pub(crate) fn check_qualifier(
genv: GlobalEnv<'_, '_>,
qual: &Qualifier<'_>,
) -> Result<WfckResults, ErrorGuaranteed>
pub(crate) fn check_qualifier(
genv: GlobalEnv<'_, '_>,
qual: &Qualifier<'_>,
) -> Result<WfckResults, ErrorGuaranteed>