/// ```
/// ❰
/// #[attr]
-/// unsafe impl<T> !Foo for Bar where T: Debug {
+/// unsafe impl<T> const !Foo for Bar where T: Debug {
/// #![inner_attr]
/// // ...
/// }
/// Constant value argument that is passed at generic instantiation site.
///
/// ```
-/// foo::<❰ u32 ❱, ❰ true ❱ >();
+/// foo::<❰ u32 ❱, ❰ true ❱>();
///
/// bar::<❰ { 2 + 2} ❱>();
/// ```
/// ```
/// ❰
/// #[attr]
- /// unsafe impl<T> !Foo for Bar where T: Debug {
+ /// unsafe impl<T> const !Foo for Bar where T: Debug {
/// #![inner_attr]
/// // ...
/// }
/// [Reference](https://doc.rust-lang.org/reference/items/implementations.html)
struct ImplDef: TypeParamsOwner, AttrsOwner, DocCommentsOwner {
T![default],
- T![const], // TODO: wat?
+ T![const],
T![unsafe],
T![impl],
T![!],