rust icon indicating copy to clipboard operation
rust copied to clipboard
verified publisher icon rust-lang

MirPhase: clarify that linting is not a semantic change

Open RalfJung opened this issue 3 years ago • 2 comments

r? @JakobDegen

RalfJung avatar Sep 18 '22 11:09 RalfJung

This PR changes MIR

cc @oli-obk, @RalfJung, @JakobDegen, @davidtwco, @celinval, @vakaras

rustbot avatar Sep 18 '22 11:09 rustbot

Lgtm, but no bors perms so r? @oli-obk

JakobDegen avatar Sep 18 '22 13:09 JakobDegen

@bors r+ rollup

oli-obk avatar Sep 20 '22 07:09 oli-obk

:pushpin: Commit eed6fdb0ebd91c75100c4686d07b66f9fdc65fb1 has been approved by oli-obk

It is now in the queue for this repository.

bors avatar Sep 20 '22 07:09 bors