Nicholas Nethercote 7060fc8327 Replace no_ord_impl with orderable. ...

Similar to the previous commit, this replaces `newtype_index`'s opt-out
`no_ord_impl` attribute with the opt-in `orderable` attribute.

2023-11-22 18:38:17 +11:00

..

assembly

Fix clippy::needless_borrow in the compiler

2023-11-21 20:13:40 +01:00

eval_ctxt

handle reservation impls, track impl source

2023-11-20 15:01:31 +01:00

inspect

Fix clippy::needless_borrow in the compiler

2023-11-21 20:13:40 +01:00

project_goals

handle reservation impls, track impl source

2023-11-20 15:01:31 +01:00

alias_relate.rs

rework alias-relate to norm(lhs) == norm(rhs)

2023-11-09 11:32:50 +01:00

canonicalize.rs

finish RegionKind rename

2023-11-14 13:13:27 +00:00

fulfill.rs

avoid building proof trees in select

2023-07-10 15:17:01 +02:00

mod.rs

update overflow handling for norm, add test

2023-11-09 11:32:51 +01:00

normalize.rs

AliasTy::new instead of tcx method

2023-10-18 13:57:19 +02:00

search_graph.rs

Replace no_ord_impl with orderable.

2023-11-22 18:38:17 +11:00

trait_goals.rs

handle reservation impls, track impl source

2023-11-20 15:01:31 +01:00