Function lean_task_key 

pub fn lean_task_key(tcx: TyCtxt<'_>, def_id: DefId) -> String

Returns the cache key used for a function-body lean query. It is distinct from the key of the corresponding fixpoint query, so a lean entry is never mistaken for a fixpoint result.