bors b733736ea2 Auto merge of #146919 - lcnr:yeet-fast-path, r=fee1-dead ...

remove incorrect fast path

Using `tcx.is_copy_modulo_regions` drops information from the current `typing_env`. Writing a regression test for this is really hard. We need to prove `Copy` of something that doesn't directly reference a coroutine or an opaque, but does so indirectly.

cc rust-lang/rust#146813.

2025-09-25 23:50:40 +00:00

..

error_reporting

Improve derive suggestion of const param

2025-09-24 13:29:23 +00:00

errors

Fix elided lifetimes in rustdoc

2025-07-04 18:26:09 +00:00

solve

move mod canonical out of eval_ctxt

2025-09-18 23:56:20 +02:00

traits

imrpove type_op failure ICE

2025-09-24 13:08:25 +02:00

errors.rs

Use tcx.short_string() in more diagnostics

2025-08-07 21:18:00 +00:00

infer.rs

yeet fastpath

2025-09-23 17:02:55 +02:00

lib.rs

Suggest bounds in more cases, accounting for type parameters referenced in predicate

2025-08-04 16:12:58 +00:00

opaque_types.rs

change non-defining use error message

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

regions.rs

Consider outlives assumptions when proving auto traits for coroutine interiors

2025-07-15 16:02:26 +00:00

solve.rs

cleanup proof tree implementation and add cache

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