{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"//"}]}
//   * minimum universe
//   * bounding placeholder (if any)
// * And if we must be equal to a placeholder then we check it against