{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// Check that the concrete type behind `impl Trait` actually implements `Trait`.
/// This is mostly checked at the places that specify the opaque type, but we