Skip to content

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

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

bors merged 2 commits into
rust-lang:masterfrom
petrochenkov:hasname

Commits

Commits on Aug 3, 2020