Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
//! Regression test for https://github.com/rust-lang/rust/issues/4252
//@ run-pass
trait X {
fn call<T: std::fmt::Debug>(&self, x: &T);
Expand Down
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
//! Regression test for https://github.com/rust-lang/rust/issues/41974
#[derive(Copy, Clone)]
struct Flags;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
error[E0210]: type parameter `T` must be used as an argument to some local type (e.g., `MyStruct<T>`)
--> $DIR/issue-41974.rs:7:6
--> $DIR/drop-impl-for-type-param-with-trait-bound.rs:8:6
|
LL | impl<T> Drop for T where T: A {
| ^ uncovered type parameter
Expand All @@ -8,7 +8,7 @@ LL | impl<T> Drop for T where T: A {
= note: only traits defined in the current crate can be implemented for a type parameter

error[E0120]: the `Drop` trait may only be implemented for local structs, enums, and unions
--> $DIR/issue-41974.rs:7:18
--> $DIR/drop-impl-for-type-param-with-trait-bound.rs:8:18
|
LL | impl<T> Drop for T where T: A {
| ^ must be a struct, enum, or union in the current crate
Expand Down
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
//! Regression test for https://github.com/rust-lang/rust/issues/48132
// Regression test for #48132. This was failing due to problems around
// the projection caching and dropck type enumeration.

Expand Down

@Kivooeo Kivooeo Jun 18, 2026

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this test doesn't seem to me as a dropck, is this only was moved here because of stack trace in original issue?

View changes since the review

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That, as well as the fact that the commit that fixed the bug seemed to be mostly about the dropck.

Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
//! Regression test for https://github.com/rust-lang/rust/issues/26641
//@ run-pass
struct Parser<'a>(#[allow(dead_code)] Box<dyn FnMut(Parser) + 'a>);

Expand Down
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
//! Regression test for https://github.com/rust-lang/rust/issues/50781
trait Trait {}

trait X {
Expand Down
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
error[E0038]: the trait `X` is not dyn compatible
--> $DIR/issue-50781.rs:11:16
--> $DIR/method-with-self-trait-bound-not-dyn-safe.rs:12:16
|
LL | impl Trait for dyn X {}
| ^^^^^ `X` is not dyn compatible
|
note: for a trait to be dyn compatible it needs to allow building a vtable
for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
--> $DIR/issue-50781.rs:4:8
--> $DIR/method-with-self-trait-bound-not-dyn-safe.rs:5:8
|
LL | trait X {
| - this trait is not dyn compatible...
Expand All @@ -16,14 +16,14 @@ LL | fn foo(&self) where Self: Trait;
= help: only type `()` implements `X`; consider using it directly instead.

error[E0038]: the trait `X` is not dyn compatible
--> $DIR/issue-50781.rs:16:10
--> $DIR/method-with-self-trait-bound-not-dyn-safe.rs:17:10
|
LL | <dyn X as X>::foo(&());
| ^ `X` is not dyn compatible
|
note: for a trait to be dyn compatible it needs to allow building a vtable
for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
--> $DIR/issue-50781.rs:4:8
--> $DIR/method-with-self-trait-bound-not-dyn-safe.rs:5:8
|
LL | trait X {
| - this trait is not dyn compatible...
Expand Down
Loading