Skip to content

rustc_ast: (Nested)MetaItem::check_name -> has_name#75043

Merged
bors merged 2 commits intorust-lang:masterfrom
petrochenkov:hasname
Aug 4, 2020
Merged

rustc_ast: `(Nested)MetaItem::check_name` -> `has_name`#75043
bors merged 2 commits intorust-lang:masterfrom
petrochenkov:hasname

Commits

Commits on Aug 3, 2020