`main()` returning a type that implements `Termination` with an unsatisfied lifetime bound gives a linker error

I tried this code:

```rust
use std::process::ExitCode;
use std::process::Termination;

trait IsStatic {}
impl<'a: 'static> IsStatic for &'a () {}

struct Thing;
impl Termination for Thing where for<'a> &'a (): IsStatic {
    fn report(self) -> ExitCode { panic!() }
}

fn main() -> Thing { Thing }
```

I expected a normal compiler error. Instead, I got the following:

```
error: linking with `cc` failed: exit status: 1
  |
  = note:  "cc" ....... <arguments omitted for brevity of this issue>
  = note: some arguments are omitted. use `--verbose` to show all linker arguments
  = note: rust-lld: error: undefined hidden symbol: std::rt::lang_start::h005004333204f9e0
          >>> referenced by playground.b3525d8026055c0f-cgu.0
          >>>               /playground/target/debug/deps/playground-65a1e30147052435.playground.b3525d8026055c0f-cgu.0.rcgu.o:(main)
          collect2: error: ld returned 1 exit status
```

### Meta

Reproducible on the playground with version `1.93.0-nightly (2025-11-01 bd3ac0330018c23b111b)`

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

`main()` returning a type that implements `Termination` with an unsatisfied lifetime bound gives a linker error #148421

Meta

Metadata

Assignees

Labels

Type

Fields

Projects

Milestone

Relationships

Development

Uh oh!

main() returning a type that implements Termination with an unsatisfied lifetime bound gives a linker error #148421

Description

Meta

Metadata

Metadata

Assignees

Labels

Type

Fields

Projects

Milestone

Relationships

Development

Issue actions

`main()` returning a type that implements `Termination` with an unsatisfied lifetime bound gives a linker error #148421