Searched refs:bare_file (Results 1 – 1 of 1) sorted by relevance
189 let bare_file = p.extension().map(|_| p.clone()); in append_extension() localVariable198 bare_file in append_extension()