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