{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"///"}]}
/// program to be considered well-typed.
/// A collection of region constraints that must be satisfied for the
pub(crate) struct MirTypeckRegionConstraints<'tcx> {