{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"None,"}]}
                None,
                format!("{}{colon}", param_name.display(sema.db, krate.edition(sema.db))),
                config.lazy_location_opt(|| {