syntax_data: {"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"assert!(!ty.has_param());"}]}
source_snippet:                 assert!(!ty.has_param());
context_before:                 // Defensively check that the type is monomorphic.