Matthias Krüger b594798ae3 fix clippy::useless_format

2023-07-23 11:14:52 +02:00

..

solve

Get rid of subst-relate incompleteness in new solver

2023-07-22 15:33:37 +00:00

traits

fix clippy::useless_format

2023-07-23 11:14:52 +02:00

errors.rs

convert to fluent, make plurals work

2023-06-28 18:08:21 +00:00

infer.rs

allow opaques to be defined by trait queries

2023-07-14 12:35:33 +00:00

lib.rs

remove hash_drain_filter feature uses

2023-06-14 09:28:56 +02:00