Skip to content
Merged
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
1 change: 0 additions & 1 deletion src/tools/tidy/src/issues.txt
Original file line number Diff line number Diff line change
Expand Up @@ -2442,7 +2442,6 @@ ui/span/issue-42234-unknown-receiver-type.rs
ui/span/issue-43927-non-ADT-derive.rs
ui/span/issue-71363.rs
ui/span/issue-81800.rs
ui/span/issue28498-reject-ex1.rs

@zedddie zedddie Jun 27, 2026

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.

this one is also part of nonparametric-dropck (I am not sure this issue is active though, gate for it was removed, but issue is still open), so i thought it should also go under rfcs/

View changes since the review

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.

sounds nice

ui/span/issue28498-reject-lifetime-param.rs
ui/span/issue28498-reject-passed-to-fn.rs
ui/span/issue28498-reject-trait-bound.rs
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
//! Regression test for <https://github.com/rust-lang/rust/issues/28550>.
//@ run-pass

struct A<F: FnOnce()->T,T>(F::Output);
struct B<F: FnOnce()->T,T>(A<F,T>);

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,7 @@
//! Regression test for <https://github.com/rust-lang/rust/issues/28828>.
//! This failed to compile as associated types aliases were not normalized.
//@ run-pass

pub trait Foo {
type Out;
}
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
//! Regression test for <https://github.com/rust-lang/rust/issues/28600>.
//! pub extern fn with parameter type &str inside struct impl caused ICE.
//@ build-pass
// #28600 ICE: pub extern fn with parameter type &str inside struct impl

struct Test;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
//! Regression test for <https://github.com/rust-lang/rust/issues/28936>.
//@ check-pass

pub type Session = i32;
pub struct StreamParser<'a, T> {
_tokens: T,
Expand Down
6 changes: 0 additions & 6 deletions tests/ui/issues/issue-28776.rs

This file was deleted.

Original file line number Diff line number Diff line change
@@ -1,4 +1,7 @@
//! Regression test for <https://github.com/rust-lang/rust/issues/28999>.
//! `this.v` was not constrained and inferred `'a`.
//@ check-pass

pub struct Xyz<'a, V> {
pub v: (V, &'a u32),
}
Expand Down
Original file line number Diff line number Diff line change
@@ -1,8 +1,7 @@
//! Test for <https://github.com/rust-lang/rust/issues/28498>.
//! Example taken from RFC 1238 text
//! <https://github.com/rust-lang/rfcs/blob/master/text/1238-nonparametric-dropck.md>.
//@ run-pass
// Example taken from RFC 1238 text

// https://github.com/rust-lang/rfcs/blob/master/text/1238-nonparametric-dropck.md
// #examples-of-code-that-must-continue-to-work

use std::cell::Cell;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,8 +1,7 @@
//! Test for <https://github.com/rust-lang/rust/issues/28498>.
//! Example taken from RFC 1238 text
//! <https://github.com/rust-lang/rfcs/blob/master/text/1238-nonparametric-dropck.md>.
//@ run-pass
// Example taken from RFC 1238 text

// https://github.com/rust-lang/rfcs/blob/master/text/1238-nonparametric-dropck.md
// #examples-of-code-that-must-continue-to-work

use std::cell::Cell;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,9 +1,7 @@
// Example taken from RFC 1238 text

// https://github.com/rust-lang/rfcs/blob/master/text/1238-nonparametric-dropck.md
// #examples-of-code-that-will-start-to-be-rejected

// Compare against test/run-pass/issue28498-must-work-ex2.rs
//! Test for <https://github.com/rust-lang/rust/issues/28498>.
//! Example taken from RFC 1238 text
//! <https://github.com/rust-lang/rfcs/blob/master/text/1238-nonparametric-dropck.md>.
//! Compare against tests/ui/rfcs/rfc-1238-nonparametric-dropck/must-work-ex2.rs.
use std::cell::Cell;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
error[E0713]: borrow may still be in use when destructor runs
--> $DIR/issue28498-reject-ex1.rs:34:29
--> $DIR/reject-ex1.rs:32:29
|
LL | foo.data[0].1.set(Some(&foo.data[1]));
| ^^^^^^^^
Expand Down
Original file line number Diff line number Diff line change
@@ -1,10 +1,8 @@
//! Test for <https://github.com/rust-lang/rust/issues/28498>.
//! Example taken from RFC 1238 text
//! <https://github.com/rust-lang/rfcs/blob/master/text/1238-nonparametric-dropck.md>.
//@ run-pass

// Example taken from RFC 1238 text

// https://github.com/rust-lang/rfcs/blob/master/text/1238-nonparametric-dropck.md
// #example-of-the-unguarded-escape-hatch

#![feature(dropck_eyepatch)]
use std::cell::Cell;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
// Check that the visibility modifier is included in the span of foreign items.
//! Regression test for <https://github.com/rust-lang/rust/issues/28472>.
//! Check that the visibility modifier is included in the span of foreign items.
extern "C" {
fn foo();
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
error[E0428]: the name `foo` is defined multiple times
--> $DIR/issue-28472.rs:6:3
--> $DIR/foreign-item-vis-span.rs:7:3
|
LL | fn foo();
| --------- previous definition of the value `foo` here
Expand All @@ -11,7 +11,7 @@ LL | | fn foo();
= note: `foo` must be defined only once in the value namespace of this module

error[E0428]: the name `foo` is defined multiple times
--> $DIR/issue-28472.rs:9:3
--> $DIR/foreign-item-vis-span.rs:10:3
|
LL | fn foo();
| --------- previous definition of the value `foo` here
Expand Down
9 changes: 9 additions & 0 deletions tests/ui/unsafe/unsafe-fn-called-through-ref.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
//! Regression test for <https://github.com/rust-lang/rust/issues/28776>.
//! Unsafe fn could be called outside of unsafe block through autoderef.
use std::ptr;

fn main() {
(&ptr::write)(1 as *mut _, 42);
//~^ ERROR E0133
}
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
error[E0133]: call to unsafe function `std::ptr::write` is unsafe and requires unsafe function or block
--> $DIR/issue-28776.rs:4:5
--> $DIR/unsafe-fn-called-through-ref.rs:7:5
|
LL | (&ptr::write)(1 as *mut _, 42);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ call to unsafe function
Expand Down
Loading