{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
/// A contains a placeholder whose universe cannot be named by X,
///    A: B: C: ... : X  where
/// add a constraint that A: 'static. This is a safe upper bound