{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"///"}]}
/// want the constraint to hold at all points.
/// created the obligation, but for constraints that the user gave, we
#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Debug)]