tree 7c617c18344bcc1e9291312cd22c75b5bd06850e
parent fad2a35ebfc6c534a041afbcb775300862dab331
parent fb2b0031d0503e77a33d551ddef409b6834afb05
author Jonathan Brouwer <jonathantbrouwer@gmail.com> 1774346044 +0100
committer GitHub <noreply@github.com> 1774346044 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJpwl88CRC1aQ7uu5UhlAAAp1AQAAnznCXHmOkMOUt/MovgAkx8
 kCBeqXGn5CYB/T70JEbGwISCIE5tOIvgyv/oUzL5UTsKLmncTFLtV6kuzTC2hE3Q
 Z8TQwP5+59NHQR1d7kxg8ZOFThr19couhxqEjLRzNhr7xTntQXzA9viANobZI6Z+
 c954YjNJpjmatN/I0y4ZYUI82CZ9HWhza3JiyaPXdYbjt9QA7rWvYMdiZSrJ2Qig
 PKPTX0XU3+aQ8l8ImOqV6n/4y9zFPMcuEoMtxehDe023xmRjYf5TMpWzvfVkwKEe
 N2ltgIuQ3z1jDMLRIMYZIPFOt6yeuR/tftB7wbQpqYPf+kLZ+WWWPEJBAtWTOehf
 r0magw9RZpHXRaXVIiGWD/l2vQs5/jTtkkg8yFZHB+uBxtLZ0rDQCRVwuG0TqxeO
 yK9oGSFf82k/Hm7KKIltwWwBUiAmbMaD5wcakb3i8tLkrtsrYkXcU4JDhoNalowh
 duujjULdfhXTjoixAUUUwDLu65XOo1qG+t6kyI/bsxTXZDHvCrpNAbW+OVfUfReQ
 lOZWeVIRczIABI0gsWZ+t0tU7/xeKq+VeINus1DFRtcugJjD8zaN3hpHSlWbOgT4
 lC/Z/GV7yydXI96T9qYx019KlLGnK5M3EG2KyLQzv7N9JGVjfHVUOW3+/wy3XD7y
 guAIIFQRFEWtL/xQlK88
 =68MR
 -----END PGP SIGNATURE-----
 

Rollup merge of #154297 - RalfJung:mir-opt-comments, r=dianqk

fix/extend some mir-opt comments

Looks like CopyProp was refactored without updating that comment.

And for GVN, I think this is what you had in mind @cjgillot but would be great if you could have a look.