Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign upICE on miri check: self.meta.is_none() #55815
Comments
csmoe
added
the
A-mir
label
Nov 9, 2018
zackmdavis
added
the
I-ICE
label
Nov 9, 2018
jonas-schievink
added
C-bug
A-miri
and removed
A-mir
labels
Mar 28, 2019
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
earthengine commentedNov 9, 2018
•
edited
In a recent test for #28796 the following code
Playground
can compile and can run in the playground, but the Miri check tool gives