Commit Graph

5 Commits

Author SHA1 Message Date
Oli Scherer b9e7cf61be Make const trait aliases work in the old solver 2025-10-30 08:05:37 +00:00
Oli Scherer bc4d612d46 Prepare test for old solver 2025-10-30 08:05:37 +00:00
Oli Scherer 544a5a3e0e Make const trait aliases work in next solver 2025-10-30 08:05:37 +00:00
Oli Scherer 8b122f1e11 Generate const predicates for const trait aliases 2025-10-30 08:05:37 +00:00
Oli Scherer 5f6772c2a7 Constify trait aliases 2025-10-30 08:05:37 +00:00