{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"assert!(!instance.has_non_region_param(),"}]}
    assert!(!instance.has_non_region_param(), "{instance:#?} must be fully monomorphic");
) -> String {
    let transform_ty_options = TransformTyOptions::from_bits(options.bits())