This repository was archived by the owner on Jan 24, 2022. It is now read-only.

[RFC] enforce `main: fn() -> !`#50

Closed

japaric wants to merge 1 commit intomasterfrom

never-termination

Commits on Dec 30, 2017

implement `Termination` only for `!`
japaric
committed