pub fn lean_task_key(tcx: TyCtxt<'_>, def_id: DefId) -> String
Returns the cache key used for a function-body lean query.