| error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements |
| --> $DIR/constant-in-expr-inherent-1.rs:8:5 |
| | |
| LL | <Foo<'a>>::C |
| | ^^^^^^^^^^^^ |
| | |
| note: first, the lifetime cannot outlive the lifetime 'a as defined on the function body at 7:8... |
| --> $DIR/constant-in-expr-inherent-1.rs:7:8 |
| | |
| LL | fn foo<'a>(_: &'a u32) -> &'static u32 { |
| | ^^ |
| = note: ...so that the types are compatible: |
| expected Foo<'_> |
| found Foo<'a> |
| = note: but, the lifetime must be valid for the static lifetime... |
| note: ...so that reference does not outlive borrowed content |
| --> $DIR/constant-in-expr-inherent-1.rs:8:5 |
| | |
| LL | <Foo<'a>>::C |
| | ^^^^^^^^^^^^ |
| |
| error: aborting due to previous error |
| |
