bors 99a1b8f7a8 Auto merge of #16747 - Veykril:cleanup, r=Veykril ...

internal: Clean some stuff up

Just a bunch of small refactorings, mainly from browsing through `hir-def`

2024-03-04 10:30:17 +00:00

..

src

Auto merge of #16747 - Veykril:cleanup, r=Veykril

2024-03-04 10:30:17 +00:00

tests

minor: fix typo

2024-02-19 18:12:08 +08:00

build.rs

…

Cargo.toml

Auto merge of #16445 - lnicola:bump-scip, r=lnicola

2024-01-31 09:27:01 +00:00