about summary refs log tree commit diff
path: root/tests/ui/traits/reservation-impl
AgeCommit message (Expand)AuthorLines
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-10/+10
2023-12-14update use of feature flagslcnr-4/+4
2023-11-24Show number in error message even for one errorNilstrieb-4/+4
2023-11-20handle reservation impls, track impl sourcelcnr-0/+2
2023-08-26More accurately point at argumentsEsteban Küber-8/+4
2023-03-21new solver cleanup + coherencelcnr-4/+39
2023-01-11Move /src/test to /testsAlbert Larsan-0/+139