`impl Trait` for statics and consts

This already compiles on nightly:

#![feature(type_alias_impl_trait)]

type MyFn = impl Fn();

#[define_opaque(MyFn)]
const THING: MyFn = || {};