{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//!"}]}
//! up in either a concrete type, rigid alias, or an infer variable.
//! This is done by first structurally normalizing both sides of the goal, ending
//! These are related further according to the rules below: