Function flux_fhir_analysis::check_wf

source ยท 
pub(crate) fn check_wf(
    genv: GlobalEnv<'_, '_>,
    def_id: LocalDefId,
) -> QueryResult<Rc<WfckResults>>