{"ast_node_type":"import","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//!"}]}
//! fact an unbound type variable, we want the match to be regarded as ambiguous, because depending
//! matches some other type X -- *without* affecting `X`. That means that if the type `X` is in
//! on what type that type variable is ultimately assigned, the match may or may not succeed.