Cameron Steffen b323f567d9 Remove Option from impl_trait_header

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

..

compare_impl_item

rename select_where_possible and select_all_or_error

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

always_applicable.rs

Split impl_(opt_)trait_ref

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

check.rs

Remove Option from impl_trait_header

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

compare_impl_item.rs

Split impl_(opt_)trait_ref

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

entry.rs

rename select_where_possible and select_all_or_error

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

intrinsic.rs

Remove no longer used contract_checks intrinsic

2025-10-11 00:16:44 +01:00

mod.rs

Split impl_(opt_)trait_ref

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

region.rs

assert that non-extended temporaries have scopes

2025-10-08 06:12:09 -07:00

wfcheck.rs

Remove Option from impl_trait_header

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