{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"constraint.sub.into(),"}]}
                    constraint.sub.into(),
                    constraint.sup.into(),
                    location_table.mid_index(from_location),