Cameron Steffen b323f567d9 Remove Option from impl_trait_header

2025-10-17 08:36:34 -05:00

..

error_reporting

Remove Option from impl_trait_header

2025-10-17 08:36:34 -05:00

errors

…

solve

trait_sel: prefer only nested alias bounds

2025-10-15 09:35:05 +01:00

traits

Remove Option from impl_trait_header

2025-10-17 08:36:34 -05:00

errors.rs

…

infer.rs

rename select_where_possible and select_all_or_error

2025-10-07 23:02:23 +01:00

lib.rs

…

opaque_types.rs

change non-defining use error message

2025-08-25 14:20:18 +02:00

regions.rs

remove outdated context (inner) infctx

2025-09-30 21:56:06 +02:00

solve.rs

cleanup proof tree implementation and add cache

2025-08-29 09:35:37 +02:00