{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
/// Relaxed bounds should only be allowed in places where we later
///
/// (namely during HIR ty lowering) perform *sized elaboration*.