Function flux_fhir_analysis::item_bounds

source ยท 
pub(crate) fn item_bounds(
    genv: GlobalEnv<'_, '_>,
    local_id: LocalDefId,
) -> QueryResult<EarlyBinder<Clauses>>