Add more traits to Infallible?

Is there a rationale to which std/core traits Infallible implements? I would like to use it in a context that requires T: AsRef<U>, so I'd like to add the following to the stdlib:

impl<T> AsRef<T> for Infallible { ... }

There's some prior related discussion in this closed RFC about ! and traits.

1 Like