Function flux_refineck::check_fn

pub fn check_fn(
    genv: GlobalEnv<'_, '_>,
    cache: &mut QueryCache,
    def_id: MaybeExternId,
    config: CheckerConfig,
) -> Result<(), ErrorGuaranteed>