Skip to content

Add a cache for maybe_lint_level_root_bounded#113609

Merged
bors merged 3 commits intorust-lang:masterfrom
nnethercote:maybe_lint_level_root_bounded-cache
Jul 14, 2023
Merged

Add a cache for `maybe_lint_level_root_bounded`#113609
bors merged 3 commits intorust-lang:masterfrom
nnethercote:maybe_lint_level_root_bounded-cache

Commits

Commits on Jul 11, 2023

Commits on Jul 12, 2023