rust/compiler/rustc_const_eval/src/interpret/stack.rs, branch 1.86.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.86.0 2024-12-22T21:57:57+00:00 Begin to implement type system layer of unsafe binders 2024-12-22T21:57:57+00:00 Michael Goulet michael@errs.io 2024-12-21T17:05:40+00:00 urn:sha1:9a1c5eb5b385adb3cd04af0049cbf5c225cefdc3 Make some types and methods related to Polonius + Miri public. 2024-12-12T01:28:49+00:00 Will Crichton wcrichto@cs.stanford.edu 2024-12-12T00:40:54+00:00 urn:sha1:eb10db0a76fdacdbe6747431aea90f17ce4ec7c1 Move `always_storage_live_locals`. 2024-11-26T01:05:57+00:00 Nicholas Nethercote n.nethercote@gmail.com 2024-11-22T06:52:02+00:00 urn:sha1:3d12160dfcb4d95cd3f1eaa23071fb9b4e3d69ab It's very closely related to `MaybeStorageLive` and `MaybeStorageDead`. It's weird that it's currently in a different module. `InterpCx` store `TypingEnv` instead of a `ParamEnv` 2024-11-19T20:36:23+00:00 lcnr rust@lcnr.de 2024-11-19T19:10:42+00:00 urn:sha1:7a90e84f4d760cb49035f1446d4c6cfb3993aad2 use `TypingEnv` when no `infcx` is available 2024-11-18T09:38:56+00:00 lcnr rust@lcnr.de 2024-11-15T12:53:31+00:00 urn:sha1:9cba14b95bb07a5b31ed1aac2bf4eadd248232da the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`. stop using `ParamEnv::reveal` while handling MIR 2024-10-31T13:55:53+00:00 lcnr rust@lcnr.de 2024-10-31T11:41:50+00:00 urn:sha1:2cde638ac0b8f2fd1b7ad29606a1a406b276482a make InterpResult a dedicated type to avoid accidentally discarding the error 2024-10-01T19:45:35+00:00 Ralf Jung post@ralfj.de 2024-09-29T09:53:23+00:00 urn:sha1:c4ce8c114b06840c3521a189ee44958b713fb33a Reformat using the new identifier sorting from rustfmt 2024-09-22T23:11:29+00:00 Michael Goulet michael@errs.io 2024-09-22T23:05:04+00:00 urn:sha1:c682aa162b0d41e21cc6748f4fecfe01efb69d1f miri: treat non-memory local variables properly for data race detection 2024-09-10T08:25:22+00:00 Ralf Jung post@ralfj.de 2024-08-31T15:03:03+00:00 urn:sha1:a8889052261e23444cfde46b7aba16115625a7d6 chore: Fix typos in 'compiler' (batch 1) 2024-09-02T05:42:38+00:00 Alexander Cyon alex.cyon@gmail.com 2024-09-02T05:42:38+00:00 urn:sha1:ac69544a175d692dd623fb854261ca64b1b9b802