bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Use HTTPS links where possible

Browse source
This commit is contained in:
Smitty 2021-06-23 16:26:46 -04:00
parent b8be3162d7
commit bdfcb88e8b
66 changed files with 99 additions and 99 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/ui/nullable-pointer-iotareduction.rs
View file

@ -4,7 +4,7 @@
// Iota-reduction is a rule in the Calculus of (Co-)Inductive Constructions,
// which "says that a destructor applied to an object built from a constructor
// behaves as expected". -- http://coq.inria.fr/doc/Reference-Manual006.html
// behaves as expected". -- https://web.archive.org/web/20100531091244/http://coq.inria.fr/doc/Reference-Manual006.html
//
// It's a little more complicated here, because of pointers and regions and
// trying to get assert failure messages that at least identify which case