Function check_fn_spec

pub(crate) fn check_fn_spec(
    genv: GlobalEnv<'_, '_>,
    func: &SpecFunc<'_>,
) -> Result<WfckResults, ErrorGuaranteed>