Skip to content

Commit

Permalink
add test for normalization in implied bounds query
Browse files Browse the repository at this point in the history
  • Loading branch information
aliemjay committed Mar 31, 2023
1 parent c1d3610 commit 1a54144
Show file tree
Hide file tree
Showing 2 changed files with 57 additions and 0 deletions.
18 changes: 18 additions & 0 deletions tests/ui/implied-bounds/normalization-nested.lifetime.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
error[E0759]: `fn` parameter has lifetime `'x` but it needs to satisfy a `'static` lifetime requirement
--> $DIR/normalization-nested.rs:35:20
|
LL | pub fn test<'x>(_: Map<Vec<&'x ()>>, s: &'x str) -> &'static str {
| ^^^^^^^^^^^^^^^^
| |
| this data with lifetime `'x`...
| ...is used and required to live as long as `'static` here
|
note: `'static` lifetime requirement introduced by this bound
--> $DIR/normalization-nested.rs:33:14
|
LL | I::Item: 'static;
| ^^^^^^^

error: aborting due to previous error

For more information about this error, try `rustc --explain E0759`.
39 changes: 39 additions & 0 deletions tests/ui/implied-bounds/normalization-nested.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
// Test for normalization of projections that appear in the item bounds
// (versus those that appear directly in the input types).
// Both revisions should pass. `lifetime` revision is a bug.
//
// revisions: param_ty lifetime
// [param_ty] check-pass
// [lifetime] check-fail
// [lifetime] known-bug: #109799

pub trait Iter {
type Item;
}

#[cfg(param_ty)]
impl<X, I> Iter for I
where
I: IntoIterator<Item = X>,
{
type Item = X;
}

#[cfg(lifetime)]
impl<'x, I> Iter for I
where
I: IntoIterator<Item = &'x ()>,
{
type Item = &'x ();
}

pub struct Map<I>(I)
where
I: Iter,
I::Item: 'static;

pub fn test<'x>(_: Map<Vec<&'x ()>>, s: &'x str) -> &'static str {
s
}

fn main() {}

0 comments on commit 1a54144

Please sign in to comment.