Skip to content

Add a query to get the promoteds for a mir::Body#62322

Merged
bors merged 1 commit intorust-lang:masterfrom
wesleywiser:promoted_query
Jul 16, 2019
Merged

Add a query to get the `promoted`s for a `mir::Body`#62322
bors merged 1 commit intorust-lang:masterfrom
wesleywiser:promoted_query

Commits

Commits on Jul 3, 2019