profile
viewpoint

rust-lang/nomicon 354

The Dark Arts of Advanced and Unsafe Rust Programming

rust-lang/reference 240

The Rust Reference

matthewjasper/book 0

The Rust Programming Language

matthewjasper/cargo 0

The Rust package manager

matthewjasper/compiler-explorer 0

Run compilers interactively from your web browser and interact with the assembly

matthewjasper/intellij-rust 0

Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/

matthewjasper/miri 0

An interpreter for Rust's mid-level intermediate representation

matthewjasper/nomicon 0

The Dark Arts of Advanced and Unsafe Rust Programming

matthewjasper/reference 0

The Rust Reference

matthewjasper/rust 0

A safe, concurrent, practical language.

create barnchmatthewjasper/rust

branch : type-flags

created branch time in a day

create barnchmatthewjasper/rust

branch : typeck-backport

created branch time in 2 days

Pull request review commentrust-lang/rust

Fix MIR typeck soundness holes

 impl<'a, 'b, 'tcx> TypeVerifier<'a, 'b, 'tcx> {             place_ty = self.sanitize_projection(place_ty, elem, place, location)         } +        if let PlaceContext::NonMutatingUse(NonMutatingUseContext::Copy) = context {

yes

matthewjasper

comment created time in 3 days

delete branch matthewjasper/rust

delete branch : mir-typeck-static-ty

delete time in 3 days

delete branch matthewjasper/rust

delete branch : literal-qualif

delete time in 4 days

issue commentrust-lang/rust

Incorrect `lifetimes in impl Trait types in bindings are not currently supported` error in latest nightly

The lifetime being referred to is in the concrete type. This is working as currently intended.

olegnn

comment created time in 6 days

Pull request review commentrust-lang/rust

Split librustc::{traits,infer} to a separate crate rustc_infer

 rustc_errors = { path = "../librustc_errors" } rustc_expand = { path = "../librustc_expand" } rustc_feature = { path = "../librustc_feature" } rustc_hir = { path = "../librustc_hir" }+rustc_infer = { path = "../librustc_infer" }

This isn't needed, right?

cjgillot

comment created time in 7 days

Pull request review commentrust-lang/rust

Propagate lifetime resolution errors into tcx.type_of

 fn type_of(tcx: TyCtxt<'_>, def_id: DefId) -> Ty<'_> {      let hir_id = tcx.hir().as_local_hir_id(def_id).unwrap(); +    // We just checked that `DefId` is crate-local+    if tcx.has_lifetime_error(def_id.index) {+        debug!("type_of: item {:?} has a lifetime-related error, bailing out", def_id);
        debug!("type_of: item {:?} has a lifetime-resolution error, bailing out", def_id);
Aaron1011

comment created time in 8 days

pull request commentrust-lang/rust

Always const qualify literals by type

@bors r=eddyb

matthewjasper

comment created time in 7 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 5ce02633aa59c237be746eda81e94bce68c12979

Update tests for erasing regions in typeck

view details

push time in 8 days

delete branch matthewjasper/rust-clippy

delete branch : own-infer

delete time in 8 days

pull request commentrust-lang/rust

Always const qualify literals by type

Pushed a somewhat speculative perf fix @bors try @rust-timer queue

matthewjasper

comment created time in 8 days

PR opened rust-lang/rust-clippy

Avoid using regions from `TypeckTables`

These regions will all be ReErased soon. (rust-lang/rust#69189)

changelog: none

+39 -4

0 comment

2 changed files

pr created time in 8 days

create barnchmatthewjasper/rust-clippy

branch : own-infer

created branch time in 8 days

PR opened rust-lang/rust

Erase regions in writeback

Regions in TypeckTables (except canonicalized user annotations) are now erased. Further, we no longer do lexical region solving on item bodies with -Zborrowck=mir.

cc #68261 r? @nikomatsakis

+236 -211

0 comment

31 changed files

pr created time in 8 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 0663f253757ab0d360f540e9d7bc7882db1dc8bd

Always qualify literals by type

view details

Matthew Jasper

commit sha f2980e71d936be7a39b9a472664363d93f2c7fd8

Add fast path for is_freeze

view details

push time in 8 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 2abb336891e1f54601d450bbc1a44a221747a113

fixup! Always qualify literals by type

view details

push time in 8 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha b5654434014c892ea65fd6426b6080c4f53a0ac6

Always qualify literals by type

view details

Matthew Jasper

commit sha 55de9fc60df0538dfe61a14b21b02097ec11ce60

Add fast path for is_freeze

view details

push time in 8 days

pull request commentrust-lang/rust

Don't print block exit state in dataflow graphviz if unchanged

@bors r+

ecstatic-morse

comment created time in 8 days

pull request commentrust-lang/rust

Don't give invalid suggestion on desugared span.

@bors r+

spunit262

comment created time in 8 days

create barnchmatthewjasper/rust

branch : erase-the-world

created branch time in 8 days

delete branch matthewjasper/rust

delete branch : infer-regions-in-borrowck

delete time in 8 days

pull request commentrust-lang/rust

Infer regions for opaque types in borrowck

@bors r=nikomatsakis

matthewjasper

comment created time in 9 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 378b5b4ca06d027d9dfff807fe0fff4bc5e62806

Generate more accurate MIR in `construct_error`

view details

Matthew Jasper

commit sha 43a3348fd94568b78db7755bb5196fc73fa65214

Arena allocate the result of mir_borrowck

view details

Matthew Jasper

commit sha 75ac0cca3678d5d309c737f1bd8ef237628a278b

Prepare to use borrowck to resolve opaque types

view details

Matthew Jasper

commit sha d9b9f00109aefcaf565c9da3c6fdf9e446f4876c

Infer opaque type regions in borrow checking We want type checking for function bodies to ignore/erase regions. As such, we need to infer the regions in opaque types in borrow check instead.

view details

Matthew Jasper

commit sha edee23ee25d813547587fdd6bcd3677606839fad

Avoid unnecessary opaque type errors in borrowck

view details

Matthew Jasper

commit sha 2fb02549b85258a039cc8cb6006c028ab437f85a

Ensure RPIT types get recorded in borrowck

view details

Matthew Jasper

commit sha bb8c9911f591b2f72d5d473acab3c27ef9ae1a46

Erase regions in opaque types in typeck

view details

Matthew Jasper

commit sha 93ac5bc7de2b47f8848275254a0e327269ee5f06

Update tests

view details

Matthew Jasper

commit sha f23bca79d44642b7a6af11f288216a4828a7b530

Address review comments

view details

Matthew Jasper

commit sha 728224d1e08f4d28fdc8d9c94b8a553750534435

Show inferred opaque types with `#[rustc_regions]`

view details

Matthew Jasper

commit sha 5cfa7d1dfb8a83c24ba3220d6740388546c664b9

Handle equal regions in opaque type inference

view details

Matthew Jasper

commit sha 2bd16f3c81af80718403e2e202fd0d59e8f94c60

Improve opaque type lifetime errors * Use better span for member constraint errors * Avoid a bad suggestion * Don't report member constraint errors if we have other universal region errors.

view details

Matthew Jasper

commit sha dd1687ef416f9a5856872c7ed40c4a1a3d8788ea

Always check upper bounds when choosing member regions Also correctly calculate what the upper bounds are.

view details

Matthew Jasper

commit sha e3e5d27f23f466f7a9e65950e6ce32169ad2a557

Use member constraint for most opaque types in NLL This ensures that NLL will infer suitable values for regions in opaque types when it's possible.

view details

Matthew Jasper

commit sha 78e0ab53fb4ac444e7d62735f0b8dcc9a42004f6

Update tests

view details

Matthew Jasper

commit sha 6d9e270a4ddf517b008537f0d8b3768db20d5436

Fix and test nested impl Trait

view details

Matthew Jasper

commit sha 223a2ee3061a4bfe31df8aee70c682618ef28fe1

Add fast path to eq_opaque_type_and_type

view details

Matthew Jasper

commit sha edddb62099056abae853aa1157919d3ec112eeb4

Split `type_of` out of collect.rs

view details

Matthew Jasper

commit sha d863978f89c74bd5cb90baa47331d421bbfd3936

Fix tests after rebase

view details

push time in 9 days

pull request commentrust-lang/rust

typeck: clarify def_bm adjustments & add tests for or-patterns

@bors r+

Centril

comment created time in 9 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 93e6ed7108d60a8c3f0fcfb2e4ec43f0d61cc9dd

Split `type_of` out of collect.rs

view details

push time in 9 days

push eventmatthewjasper/rust

Mark Rousskov

commit sha 3b92689f3d0c3b90fa01d9873cdf01543d51c000

Relax bounds on HashMap to match hashbrown No functional changes are made, and all APIs are moved to strictly less restrictive bounds. These APIs changed from the old bound listed to no trait bounds: K: Hash + Eq * new * with_capacity K: Eq + Hash, S: BuildHasher * with_hasher * with_capacity_and_hasher * hasher K: Eq + Hash + Debug -> K: Debug S: BuildHasher -> S <HashMap as Debug> K: Eq + Hash -> K S: BuildHasher + Default -> S: Default <HashMap as Default>

view details

Mark Rousskov

commit sha 48859db151b839518bdd9d44a2387c0f6b65d141

Relax bounds on HashSet to match hashbrown No functional changes are made, and all APIs are moved to strictly less restrictive bounds. These APIs changed from the old bound listed to the new bound: T: Hash + Eq -> T * new * with_capacity T: Eq + Hash, S: BuildHasher -> T * with_hasher * with_capacity_and_hasher * hasher T: Eq + Hash + Debug -> T: Debug S: BuildHasher -> S <HashSet as Debug> T: Eq + Hash -> T S: BuildHasher + Default -> S: Default <HashSet as Default>

view details

Erin Power

commit sha 49d78fcd901700c5a14e19a6679db1646b5ca901

Add GitHub issue templates

view details

John Kåre Alsaker

commit sha bfba6ef328bbba327cae8918e795c11b89217672

Add an option to use LLD to link the compiler on Windows platforms

view details

John Kåre Alsaker

commit sha 95318f8d859dc55cc5e06722c96f6e492529d6ca

Link a linking issue

view details

John Kåre Alsaker

commit sha 2124a85260fdf0851bb4de369d311bcfc05b205f

Don't use a whitelist for use_lld

view details

Matthew Jasper

commit sha a81c59f9b84b6519785a4e0ae9234107d149f454

Remove some unsound specializations

view details

kennytm

commit sha 847d5b4d1387a30f1798a5c3c59c3e0c31e00319

Derive Clone + PartialEq + Eq for std::string::FromUtf8Error

view details

Trevor Spiteri

commit sha fd2282388140ea0f370ee25c82f00be81c2f822c

implement AsMut<str> for String

view details

Jonas Schievink

commit sha 044fe0f558aa62926e6de9a76b95e4a74c0b1f99

Add a resume type parameter to `Generator`

view details

Jonas Schievink

commit sha 0117033c721d35ade8d815e1fbf83f10d73f15e4

Add a resume type param to the generator substs ...and unify it with `()` for now

view details

Jonas Schievink

commit sha 25af2f66cec1366f845e1de1bfec8b64d4f5cfff

Use real resume type as second argument

view details

Jonas Schievink

commit sha 8a1227a67bd5df8a8f27c02b7032bd8092d44a92

Infer type of `yield` to be resume type

view details

Jonas Schievink

commit sha 32005fe1957fc163036fbe0da8b12d39a9fb54cb

Allow 0 or 1 explicit generator parameters

view details

Jonas Schievink

commit sha 2101a1fec0e53677e32d1389b44f70a987a97c8d

Adjust tests to type inference changes This makes some error messages ungreat, but those seem to be preexisting bugs that also apply to closures / return position `impl Trait` in general.

view details

Jonas Schievink

commit sha f2c1468965a7af5887d353adf77427344327be0d

Add resume arg place to `Yield` MIR terminator

view details

Jonas Schievink

commit sha 3c069a066e50598ef230ba71ed5c5bcf596beb90

Change MIR building to fill in the resume place This changes `Yield` from `as_rvalue` to `into` lowering, which could have a possible performance impact. I could imagine special-casing some resume types here to use a simpler lowering for them, but it's unclear if that makes sense at this stage.

view details

Jonas Schievink

commit sha 3c22e51e7f6debd96af76f36aa8b090c40b8acb6

Make generator transform move resume arg around The resume arg is passed as argument `_2` and needs to be moved to the `Yield`s target `Place`

view details

Jonas Schievink

commit sha 5b2059b2572cff9974e6820791c8ab57b6c50234

Fix error message on type mismatch in generator Instead of "closure is expected to take 0 arguments" we now get the expected type mismatch error.

view details

Jonas Schievink

commit sha fca614eb578092fd869df57d6654ba0dcf92c6ef

Add tests for generator resume arguments

view details

push time in 9 days

pull request commentrust-lang/rust

Check `has_typeck_tables` before calling `typeck_tables_of`

@bors r+

JohnTitor

comment created time in 9 days

pull request commentrust-lang/rust

Always const qualify literals by type

@bors try @rust-timer queue

matthewjasper

comment created time in 10 days

issue commentrust-lang/rust

rewrite `liveness` analysis to be based on MIR

It's still relevant. Feel free to ping me with questions.

nikomatsakis

comment created time in 10 days

pull request commentrust-lang/rust

Don't instantiate so many copies of drop_in_place

@eddyb @michaelwoerister this is now ready for review

matthewjasper

comment created time in 10 days

PR opened rust-lang/rust

Always const qualify literals by type

r? @eddyb

+16 -17

0 comment

1 changed file

pr created time in 10 days

PR opened rust-lang/rust

Fix MIR typeck soundness holes beta-nominated stable-nominated
  • Check types of static items
  • Always check lifetime bounds of Copy impls

r? @nikomatsakis closes #69114

+148 -29

0 comment

7 changed files

pr created time in 10 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha cd9f5ff2a1c50a5af94ad1dd1c976f631b9f19a6

Check `Copy` lifetimes bounds when copying from a projection

view details

Matthew Jasper

commit sha ddc25456c5945457ba86cb60994ce9872bd98edd

Check types of statics in MIR typeck

view details

push time in 10 days

create barnchmatthewjasper/rust

branch : mir-typeck-static-ty

created branch time in 10 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 859302302100d21443315e5ffa1faf6dbeb3eaaf

Don't instantiate so many copies of `drop_in_place`

view details

Matthew Jasper

commit sha d49ec090453d901ed94c60d5fb02cd5fe6c3254d

Update codegen-units tests

view details

push time in 10 days

create barnchmatthewjasper/rust

branch : literal-qualif

created branch time in 10 days

pull request commentrust-lang/rust

Don't instantiate so many copies of drop_in_place

@bors try @rust-timer queue

matthewjasper

comment created time in 10 days

push eventmatthewjasper/rust

Dylan DPC

commit sha d276e6942ea1af5c1ad79743e7f0ee797010023f

Rollup merge of #68348 - xfix:patch-14, r=nagisa Make iter::Empty<T> Send and Sync for any T Continuing from #57682 It's quite funny, when I initially submitted this pull request, I said "Likely nobody will be using that property of `iter::empty`", but then a year later I got a compilation error because it wasn't `Send` and `Sync`. Unfortunately, `PhantomData<fn() -> T>` still errors out. Oh well. I proposed ` struct PhantomFnWorkaround<T>(fn() -> T);`, but dtolnay did not like it, so using explicit implementations.

view details

Matthias Krüger

commit sha 188f0bbe7fa2f64b6436e3e552320a1de1a00f92

submodules: update clippy from a8d90f6a to fd0428f6 Changes: ```` Treat more strange pattern Split up `if_same_then_else` ui test Apply review comments Run `update_lints` Reduce span range Rename `ok_if_let` to `if_let_some_result` Apply review comments Add suggestion in `if_let_some_result` rustup https://github.com/rust-lang/rust/pull/67712 Allow `unused_self` lint at the function level Downgrade range_plus_one to pedantic Rustup to rust-lang/rust#68204 Add lifetimes to `LateLintPass` Fix rustc lint import paths generated by `new_lint` Add lint for default lint description Update documentation for adding new lints Generate new lints easily Split up `booleans` ui test Fix the ordering on `nonminimal_bool` ````

view details

bors

commit sha c0e02ad724f05f73b957b3d6f6314a9a2e5c284e

Auto merge of #68363 - Dylan-DPC:rollup-33enndv, r=Dylan-DPC Rollup of 3 pull requests Successful merges: - #67682 ([const-prop] Remove useless typedef) - #68247 (Clean up err codes) - #68348 (Make iter::Empty<T> Send and Sync for any T) Failed merges: r? @ghost

view details

Guillaume Gomez

commit sha 0c7f40f3b2fb75649ec6ed3970486c34dbf4db3b

clean up E0201 explanation

view details

Guillaume Gomez

commit sha a9aa2dfe844840a7e414873ce55ef9d02f1038a7

clean up E0204 explanation

view details

Ralf Jung

commit sha b77a7997a866573bdf835f9dc00012877d87a22f

adjust codegen-units tests

view details

Ralf Jung

commit sha 95934937bb32190c70ce48915cac14bb4609336d

fix real_drop_in_place in comments

view details

Tianjiao Huang

commit sha d336e593cc07139468c8f6f12b929e80ae365159

Fix invalid link to C++ Exception Handling ABI documentation

view details

bors

commit sha 7da653f669dcb97d40ca29b2937518bb8a12b775

Auto merge of #68343 - matthiaskrgr:submodule_upd, r=oli-obk submodules: update clippy from a8d90f6a to 7ae24429 Changes: ```` Downgrade range_plus_one to pedantic Rustup to rust-lang/rust#68204 Add lifetimes to `LateLintPass` Fix rustc lint import paths generated by `new_lint` Add lint for default lint description Update documentation for adding new lints Generate new lints easily ```` Fixes #68331

view details

Yuki Okushi

commit sha 2ecc48ffa17d55ec02f3beb5bb17c718cb439202

Fix ICE #68025

view details

Adam Perry

commit sha fd90e56120c9fec88808f9464e27283b0c6954ad

Add failing #[track_caller] test with fn pointers.

view details

Adam Perry

commit sha 0ee922123facae1a170257bf1d6c493f8fa9f29e

InstanceDef::requires_caller_location limited to items.

view details

Eduard-Mihai Burtescu

commit sha 19d8527890b59ed25432fbf5a9f1bd75ac814ae2

rustc_mir: don't require a self argument for ReifyShim.

view details

Adam Perry

commit sha 72dffac6cf170c6c16c043299e35848014aae8d4

Test that ReifyShim + caller_location return the def site.

view details

Yuki Okushi

commit sha 0017f495783324b036ffcaafedf7881725ba1e02

Replace `walk_callee` with `consume_expr`

view details

bors

commit sha 29b854fb741809c29764e33fc17c32ba9c6523ba

Auto merge of #68057 - Aaron1011:fix/marker-trait-selection, r=matthewjasper Don't discard marker trait impls when inference variables are present Fixes #61651 Previously, we would unconditionally discard impl candidates for marker traits during trait selection. However, if the predicate had inference variables, this could have the effect of constrainting inference variables (due to a successful trait selection) when we would have otherwise failed due to mutliple applicable impls, This commit prevents marker trait impls from being discarded while the obligation predicate has any inference variables, ensuring that discarding impls will never cause us to incorrectly constraint inference variables.

view details

Esteban Küber

commit sha 6ba08755dfd9ddbb55248a0263a4e81d3602b410

When encountering an undefined named lifetime, point to where it can be This doesn't mention that using an existing lifetime is possible, but that would hopefully be clear as always being an option. The intention of this is to teach newcomers what the lifetime syntax is.

view details

Esteban Küber

commit sha 78d3ea5484c3ebcc49bddba39f5b5be5f99b8c65

When encountering an expected named lifetime and none are present, suggest adding one

view details

Esteban Küber

commit sha 2102723887cbd3253dace65f4574422be516259c

review comments

view details

Esteban Küber

commit sha 12ff4d0bd633b44939b6bca4ec67b0eac2d8be42

review comments: use closures

view details

push time in 11 days

delete branch matthewjasper/rust

delete branch : needs-type-op

delete time in 11 days

IssuesEvent

issue commentrust-lang/rust

ICE with impl Fn alias.

Reopening due to #68679

wdanilo

comment created time in 11 days

pull request commentrust-lang/rust

Properly use parent generics for opaque types

@bors r+

Aaron1011

comment created time in 11 days

pull request commentrust-lang/rust

Improve `ty.needs_drop`

@bors r=varkor rollup=never

matthewjasper

comment created time in 12 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 30a8353f372f7cc719d1de6811996ce5215183a6

Specify overflow checks behaviour in test

view details

push time in 12 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 65c8e3d63ebd70d16c1912ab8c03c4ebda43a0d2

Specify opt-level in test

view details

push time in 12 days

pull request commentrust-lang/rust

Improve `ty.needs_drop`

@bors r=varkor

matthewjasper

comment created time in 13 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha c38b4b68e4cdccf727d1636868fcbb8d051778f0

Specify opt-level in test

view details

push time in 13 days

delete branch matthewjasper/rust-analyzer

delete branch : or-patterns

delete time in 13 days

pull request commentrust-analyzer/rust-analyzer

Or patterns

bors r+

matthewjasper

comment created time in 13 days

push eventmatthewjasper/rust-analyzer

Matthew Jasper

commit sha 49b53cd7a0861cdba65643e3da441eefbe18d6e6

Address review comments

view details

push time in 13 days

delete branch matthewjasper/rust

delete branch : imm-binding-after-at

delete time in 13 days

pull request commentrust-lang/rust

Improve `ty.needs_drop`

@bors r=varkor

matthewjasper

comment created time in 13 days

PR opened rust-analyzer/rust-analyzer

Or patterns

Works towards #2458

+368 -106

0 comment

19 changed files

pr created time in 14 days

push eventmatthewjasper/rust-analyzer

Matthew Jasper

commit sha 8c8d0bb34f5495e0f260b5aaf3685ecb98406f32

Add or- and parenthesized-patterns

view details

Matthew Jasper

commit sha 504e2a46bd71cd0fcaf7eb774216f65951761e38

Update tests for or-patterns

view details

push time in 14 days

create barnchmatthewjasper/rust-analyzer

branch : or-patterns

created branch time in 14 days

Pull request review commentrust-lang/rust

Generalized article_and_description

 pub enum TyKind<'tcx> {     Error, } +impl<'tcx> TyKind<'tcx> {+    pub fn article_and_description(&self) -> (&'static str, &'static str) {

This doesn't seem to be used any more, and is somewhat duplicating sort_string

mark-i-m

comment created time in 14 days

PR opened rust-lang/rust

Correctly parse `mut a @ b` F-bindings_after_at

r? @Centril

Closes #67861 Closes #67926

+82 -4

0 comment

6 changed files

pr created time in 14 days

create barnchmatthewjasper/rust

branch : imm-binding-after-at

created branch time in 14 days

pull request commentrust-lang/rust

Improve `ty.needs_drop`

Seeing whether caching helps clean incremental or not @bors try @rust-timer queue

matthewjasper

comment created time in 14 days

push eventmatthewjasper/rust

varkor

commit sha f4f96e294335de13bc7341c626837affdb2e4a45

Normalise diagnostics with respect to "the X is declared/defined here"

view details

varkor

commit sha 24a2929ed1d3e1760bf89c878352448fb5ee2087

Normalise notes with the/is

view details

varkor

commit sha 45832839087da140eeb2a85a8b98927ec27ba21c

Update new tests

view details

Mazdak Farrokhzad

commit sha dc17f38e041e6bde95c6f6c5c6170dbb3917d51e

check_unsafety: more code reuse

view details

Andrew Paverd

commit sha c0744e1e0c35b1083733fd5c74fc3fb5a6cd04f7

Add support for Control Flow Guard on Windows. This patch enables rustc to emit the required LLVM module flags to enable Control Flow Guard metadata (cfguard=1) or metadata and checks (cfguard=2). The LLVM module flags are ignored on unsupported targets and operating systems.

view details

Waffle

commit sha 1aff08010d6b35f2c7cef685b77ff1245c45a523

Add `Iterator::map_while` method and corresponding `MapWhile` adapter

view details

Waffle

commit sha db1a107b3f920637dc785fcc6d6bbe247a271e7b

Fill tracking issue for `iter_map_while` feature

view details

Yuki Okushi

commit sha cef7764a7624fabeb151b861f005a9d89da91a09

Avoid ICE in macro's diagnostics

view details

Nicholas Nethercote

commit sha 0d69fe8308a76630a104504c14e1d3d74e2a3f15

Use `P` for `NtTraitItem`, `NtImplItem`, and `NtForeignItem`. This commit reduces the size of `Nonterminal` from a whopping 240 bytes to 72 bytes (on x86-64), which gets it below the `memcpy` threshold. It also removes some impedance mismatches with `Annotatable`, which already uses `P` for these variants.

view details

Nicholas Nethercote

commit sha 7d2173ed27c1cddc4d4a7a9755f244b66cf1ec81

Use `P` for `NtMeta`. This commit reduces the size of `Nonterminal` from a 72 bytes to 40 bytes (on x86-64).

view details

Hiroki Noda

commit sha 50ed6cbf9836a48c938e74bb28501ffbbe59585e

Fix typo.

view details

Hiroki Noda

commit sha c870ca6217038e80138b69a88b2340b62859f52b

Update

view details

Alex Crichton

commit sha ad0e4a167d950607430ff95022219671ab7054db

Update jobserver crate to 0.1.21 Brings in a fix for alexcrichton/jobserver-rs#23 which could cause Cargo to unnecessarily hang in some situations.

view details

Yuki Okushi

commit sha b1c91ee1b1a671e1d277763169abd9986195712a

Change Applicability to `HasPlaceholders`

view details

Guillaume Gomez

commit sha 2f575dab3030467525acae204e47f7a9a8311530

Add missing links for cmp traits

view details

Andy Russell

commit sha db319a8fb0126b84e0a0abbac83d4e1adeca6a95

suggest adding space in accidental doc comments

view details

Andy Russell

commit sha 7632ade65bde6160c46f31495532f5beadcaa3d8

clarify "incorrect issue" error

view details

Gregor Peach

commit sha 0d52c562db18e85cf53078c9ddb40abe469a4aab

Change opt-level from 2 back to 3 In Cargo.toml, the opt-level for `release` and `bench` was overridden to be 2. This was to work around a problem with LLVM 7. However, rust no longer uses LLVM 7, so this is no longer needed. This creates a small compile time regression in MIR constant eval, so I've added a #[inline(always)] on the `step` function used in const eval Also creates a binary size increase in wasm-stringify-ints-small, so I've bumped the limit there.

view details

bors

commit sha 34700c15c7a49d400951da385b2eacab6fb6fe86

Auto merge of #66577 - WaffleLapkin:iter_take_while_map, r=mark-simulcrum Add `Iterator::map_while` In `Iterator` trait there is `*_map` version of [`filter`] — [`filter_map`], however, there is no `*_map` version of [`take_while`], that can also be useful. ### Use cases In my code, I've found that I need to iterate through iterator of `Option`s, stopping on the first `None`. So I've written code like this: ```rust let arr = [Some(4), Some(10), None, Some(3)]; let mut iter = arr.iter() .take_while(|x| x.is_some()) .map(|x| x.unwrap()); assert_eq!(iter.next(), Some(4)); assert_eq!(iter.next(), Some(10)); assert_eq!(iter.next(), None); assert_eq!(iter.next(), None); ``` Thit code 1) isn't clean 2) In theory, can generate bad bytecode (I'm actually **not** sure, but I think that `unwrap` would generate additional branches with `panic!`) The same code, but with `map_while` (in the original PR message it was named "take_while_map"): ```rust let arr = [Some(4), Some(10), None, Some(3)]; let mut iter = arr.iter().map_while(std::convert::identity); ``` Also, `map_while` can be useful when converting something (as in [examples]). [`filter`]: https://doc.rust-lang.org/std/iter/trait.Iterator.html#method.filter [`filter_map`]: https://doc.rust-lang.org/std/iter/trait.Iterator.html#method.filter_map [`take_while`]: https://doc.rust-lang.org/std/iter/trait.Iterator.html#method.take_while [examples]: https://github.com/rust-lang/rust/compare/master...WaffleLapkin:iter_take_while_map?expand=1#diff-7e57917f962fe6ffdfba51e4955ad6acR1042

view details

Oliver Middleton

commit sha bfcfab630ef246c9439897c5351f54989e197a5c

Add `#![doc(html_playground_url = ...)]` to alloc crate This adds the Run button to code examples just like the core and std docs have.

view details

push time in 14 days

push eventmatthewjasper/rust

matthewjasper

commit sha a971edd792fdf74603712da3fb6449c1ea09fa5a

Apply suggestions from code review Co-Authored-By: varkor <github@varkor.com>

view details

push time in 14 days

PR opened rust-lang/rust

Implement a feature for a sound specialization subset F-specialization

This implements a new feature (min_specialization) that restricts specialization to a subset that is reasonable for the standard library to use.

The plan is to then:

  • Update libcore and liballoc to compile with min_specialization.
  • Add a lint to forbid use of feature(specialization) (and other unsound, type system extending features) in the standard library.
  • Fix the soundness issues around specialization.
  • Remove min_specialization

The rest of this is an overview from a comment in this PR

Basic approach

To enforce this requirement on specializations we take the following approach:

  1. Match up the substs for impl2 so that the implemented trait and self-type match those for impl1.
  2. Check for any direct use of 'static in the substs of impl2.
  3. Check that all of the generic parameters of impl1 occur at most once in the unconstrained substs for impl2. A parameter is constrained if its value is completely determined by an associated type projection predicate.
  4. Check that all predicates on impl1 also exist on impl2 (after matching substs).

Example

Suppose we have the following always applicable impl:

impl<T> SpecExtend<T> for std::vec::IntoIter<T> { /* specialized impl */ }
impl<T, I: Iterator<Item=T>> SpecExtend<T> for I { /* default impl */ }

We get that the subst for impl2 are [T, std::vec::IntoIter<T>]. T is constrained to be <I as Iterator>::Item, so we check only std::vec::IntoIter<T>for repeated parameters, which it doesn't have. The predicates ofimpl1are onlyT: Sized, which is also a predicate of impl2. So this specialization is sound.

Extensions

Unfortunately not all specializations in the standard library are allowed by this. So there are two extensions to these rules that allow specializing on some traits.

rustc_specialization_trait

If a trait is always applicable, then it's sound to specialize on it. We check trait is always applicable in the same way as impls, except that step 4 is now "all predicates on impl1 are always applicable". We require that specialization or min_specialization is enabled to implement these traits.

rustc_specialization_marker

There are also some specialization on traits with no methods, including the FusedIterator trait which is advertised as allowing optimizations. We allow marking marker traits with an unstable attribute that means we ignore them in point 3 of the checks above. This is unsound but we allow it in the short term because it can't cause use after frees with purely safe code in the same way as specializing on traits methods can.

r? @nikomatsakis cc #31844 #67194

+878 -72

0 comment

42 changed files

pr created time in 15 days

pull request commentrust-lang/rust

Initial implementation of `#![feature(move_ref_pattern)]`

I can't think of any other tests that I would want. @bors r+

Centril

comment created time in 15 days

pull request commentrust-lang/rust

perf: Reduce Vec allocations in normalization by passing &mut Vec

@bors r+

Marwes

comment created time in 15 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha d251b7dbca2c051776ca4ae0716542d8563cca53

Implement soundness check for min_specialization

view details

Matthew Jasper

commit sha 77e21df9e078c05902e9434e4a4e256d8b7f24b7

Use min_specialization in libstd and libproc_macro

view details

push time in 15 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha e4cfae68ec0e32aff1d23ff7fec9f1e665df7cd1

Implement soundness check for min_specialization

view details

Matthew Jasper

commit sha 37da9c0be73cd8727bb49cd8171cf77b7185b11a

Use min_specialization in libstd and libproc_macro

view details

push time in 15 days

Pull request review commentrust-lang/rust

Generalized article_and_description

 enum EntryKind<'tcx> {     Mod(Lazy<ModData>),     MacroDef(Lazy<MacroDef>),     Closure,-    Generator(Lazy!(GeneratorData<'tcx>)),+    Generator(Lazy<hir::GeneratorKind>),

But the type here is GeneratorKind, which is already Copy.

mark-i-m

comment created time in 15 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 2040fb8a482e9905536ccd36be427d22dccaf0ce

Implement soundness check for min_specialization

view details

Matthew Jasper

commit sha 96f72c518958c2f9cf6b89d31afa396c1949ecd7

Use min_specialization in libstd and libproc_macro

view details

push time in 15 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 2be63375b91f2deb2f49c1b21c9c0c21d540f790

Use min_specialization in libstd and libproc_macro

view details

push time in 15 days

pull request commentrust-lang/rust

Generalized article_and_description

Wait for #67681 Pick one of the providers and move it to a submodule. Maybe codegen_fn_attrs?

mark-i-m

comment created time in 15 days

create barnchmatthewjasper/rust

branch : min-spec

created branch time in 15 days

pull request commentrust-lang/rust

perf: Reduce Vec allocations in normalization by passing &mut Vec

r=me with conflicts resolved

Marwes

comment created time in 15 days

issue commentrust-lang/rust

Allow generic associate types in trait paths

Do you mean is X<Y<T: SomeTrait>=()> accepted? I would guess not because the bounds on T are already determined by the trait.

matthewjasper

comment created time in 15 days

issue commentrust-lang/rust

🔬 Tracking issue for generic associated types (GAT)

Added more blocking issues raised by @DutchGhost

withoutboats

comment created time in 15 days

issue commentrust-lang/rust

Suspicious lifetime inference.

If both compile then there's no difference between them.

crlf0710

comment created time in 15 days

issue commentrust-lang/rust

Suspicious lifetime inference.

I guess that you're expecting it to compile because these do:

pub fn main() {
    let mut s = "s".to_owned();
    let a = &mut s;
    *a += "";
    let b: _ = &mut *a;
    *a += "";
}


pub fn main_2() {
    let mut s = "s".to_owned();
    let a = &mut s;
    *a += "";
    let b: &mut _ = a;
    *a += "";
}

It doesn't compile because reborrows and moves of mutable references are treated differently. It was a breaking change to turn a move into a reborrow with the old borrow checker, so the behavior of rust 1.0 had to be preserved here.

crlf0710

comment created time in 15 days

pull request commentrust-lang/rust

fix lifetime shadowing check in GATs

@estebank what stable code is this a breaking change for?

Areredify

comment created time in 15 days

delete branch matthewjasper/rust

delete branch : spec-fix

delete time in 15 days

pull request commentrust-lang/rust

replace the leak check with universes, take 2

@bors retry

nikomatsakis

comment created time in 16 days

pull request commentrust-lang/rust

replace the leak check with universes, take 2

@bors r+

nikomatsakis

comment created time in 16 days

pull request commentrust-lang/rust

replace the leak check with universes, take 2

@fitzgen The issue that the following impls (and similar impls for dyn FnMut and of 4 or so other traits):

// Explicitly writing the bound lifetime.
impl<'a, 'b, A, R> IntoWasmAbi for &'a (dyn for<'x> Fn(&'x A) -> R + 'b)
where
    A: RefFromWasmAbi,
    R: ReturnWasmAbi
{ /* ... */ }
// From a macro:
impl<'a, 'b, A, R> IntoWasmAbi for &'a (dyn Fn(A) -> R + 'b)
    where A: FromWasmAbi,
        R: ReturnWasmAbi
{ /* ... */ }

Currently these are considered not to overlap because we don't consider it possible for A in the second impl to equal &'x A in the first.

The simplest way to work around this is to replace the first impl with separate impls for all of the actual types that implement RefFromWasmAbi, which would allow the compiler to use its knowledge of which types implement FromWasmAbi to ensure that there's no overlap.

@nikomatsakis Can you check that NLL compare mode works?

nikomatsakis

comment created time in 17 days

push eventmatthewjasper/rust

Tomasz Miąsko

commit sha 7e3c51d085d9eaa2204cc18763bc7d98b66435fd

Instrument C / C++ in MemorySanitizer example Modify the example to instrument C / C++ in addition to Rust, since it will be generally required (e.g., when using libbacktrace for symbolication). Additionally use rustc specific flag to track the origins of unitialized memory rather than LLVM one.

view details

Andreas Molzer

commit sha 47ae565ed4f1b2a7cc754d4cf0af520b5e6841b9

Add a method to query the capacity of a BufWriter

view details

Andreas Molzer

commit sha aebd0d733940d62566c66a923c7b9f7078209e98

Add capacity to BufReader with same unstable gate

view details

Andrew Paverd

commit sha c0744e1e0c35b1083733fd5c74fc3fb5a6cd04f7

Add support for Control Flow Guard on Windows. This patch enables rustc to emit the required LLVM module flags to enable Control Flow Guard metadata (cfguard=1) or metadata and checks (cfguard=2). The LLVM module flags are ignored on unsupported targets and operating systems.

view details

Trevor Spiteri

commit sha aa046da61f8722dfe46204cb303dbc9d2b4cb32e

rustdoc: attempt full build for compile_fail test Some code fails when doing a full build but does not fail when only emitting metadata. This commit makes sure compile_fail tests for such code behave as expected, that is, the test succeeds because the compilation fails.

view details

Trevor Spiteri

commit sha 6d768ddecc13c4acf45730952c0af401a990383a

error code examples: replace some ignore with compile_fail

view details

Rob Pilling

commit sha 3c91bdca1d552055e2b92ecac5275c1ebe9a4ee8

Suggest path separator for single-colon typos This commit adds guidance for when a user means to type a path, but ends up typing a single colon, such as `<<Impl as T>:Ty>`. This change seemed pertinent as the current error message is particularly misleading, emitting `error: unmatched angle bracket`, despite the angle bracket being matched later on, leaving the user to track down the typo'd colon.

view details

Tomasz Miąsko

commit sha 80c3bec9fefa7a32ca2613d9a9f84046818cec6a

Remove incorrect debug assertions from catch_unwind Previously the debug assertions in the implementation of catch_unwind used to verify consistency of the panic count by checking that the count is zero just before leaving the function. This incorrectly assumed that no panic was in progress when entering `catch_unwind`.

view details

Jacob Rothstein

commit sha 2a79ed0b4999bf9e805e0e38cd1faf5f85068368

[docs] remind bug reporters to update nightly

view details

Mark Rousskov

commit sha 39e502744c7db993eb0269285082ac5c7b7d4bdd

Install robots.txt into rust-docs tarballs

view details

Jonas Schievink

commit sha 08e85aa5865dcb8198942a082d892d863367d4d2

Ignore `build` dir formatting

view details

Mark Rousskov

commit sha b613b0cb3641a7a5be74471e8e5963e52adf30ea

Correctly reinstall rustfmt on channel change

view details

Mark Rousskov

commit sha ff95473b5e8fe4a25f59778e6a071abc026e6447

Bump rustfmt and stage0

view details

Mark Rousskov

commit sha 31dcdc9e13c324d33a18db3aed7f4b3208ff3744

Drop cfg(bootstrap) code

view details

hman523

commit sha 346920c3c844e650aff6428c6b5c6e70cbce9954

Fixed issue 68593

view details

Shotaro Yamada

commit sha 482c761704b9f7d08d00b6cf4c567db427da7ec7

Use BufWriter

view details

bors

commit sha 6c0b779b7bb23ad1bead914e8023642cc2368406

Auto merge of #68698 - tmiasko:catch-panic, r=Amanieu Remove incorrect debug assertions from catch_unwind Previously the debug assertions in the implementation of catch_unwind used to verify consistency of the panic count by checking that the count is zero just before leaving the function. This incorrectly assumed that no panic was in progress when entering `catch_unwind`. Fixes #68696.

view details

Konrad Borowski

commit sha cad0cfd9fdbc64dece3f38c03b15ed9aad032d5c

Remove a comment about pretty printer in formatting tests rustc is now using rustfmt, not the old formatter.

view details

bors

commit sha 64184a3288eca13ddfb7bc2e7b5231cbb8d5b88f

Auto merge of #68180 - ajpaverd:cfguard-rust, r=nagisa Add support for Control Flow Guard on Windows. LLVM now supports Windows Control Flow Guard (CFG): https://github.com/llvm/llvm-project/commit/d157a9bc8ba1085cc4808c6941412322a7fd884e This patch adds support for rustc to emit the required LLVM module flags to enable CFG metadata (cfguard=1) or metadata and checks (cfguard=2). The LLVM module flags are ignored on unsupported targets and operating systems.

view details

Marincia Catalin

commit sha 2ce14b8a19865ed359e9df7eb5e8e6186cae1e58

Update option.rs I updated the example of the `expect` examples so they won't contain depressing sentences any more !

view details

push time in 17 days

pull request commentrust-lang/rust

replace the leak check with universes, take 2

I'll try to go through this one last time once you've rebased

nikomatsakis

comment created time in 17 days

issue commentrust-lang/rust

Bad codegen with simple match statement

The code that the derive expands to is: https://rust.godbolt.org/z/P3ptVh

emilio

comment created time in 18 days

Pull request review commentrust-lang/rust

Fix warning for unused variables in or pattern (issue #67691)

 impl<'tcx> Liveness<'_, 'tcx> {             if is_assigned {                 self.ir.tcx.lint_hir_note(                     lint::builtin::UNUSED_VARIABLES,-                    hir_id,-                    spans,+                    first_hir_id,+                    hir_ids_and_spans.into_iter().map(|(_, sp)| sp).collect::<Vec<_>>(),                     &format!("variable `{}` is assigned to, but never used", name),                     &format!("consider using `_{}` instead", name),                 );             } else {                 let mut err = self.ir.tcx.struct_span_lint_hir(                     lint::builtin::UNUSED_VARIABLES,-                    hir_id,-                    spans.clone(),+                    first_hir_id,+                    hir_ids_and_spans.iter().map(|(_, sp)| *sp).collect::<Vec<_>>(),                     &format!("unused variable: `{}`", name),                 );                  if self.ir.variable_is_shorthand(var) {

This should be checked for each variable in the pattern: A{ x } | B { f: x } is allowed.

sapir

comment created time in 18 days

pull request commentrust-lang/rust

Move datatypes definitions in specific modules inside rustc::{traits, infer}

r? @matthewjasper @bors r+

cjgillot

comment created time in 18 days

pull request commentrust-lang/rust

Make macro metavars respect (non-)hygiene

Failure looks spurious. Checking perf looks ok @rust-timer build 3738e44c8fffe9e1fdfda9304a4df74ce7b29152 r? @petrochenkov

matthewjasper

comment created time in 18 days

Pull request review commentrust-lang/rust

Prevent query cycles in the MIR inliner

 fn run_optimization_passes<'tcx>(     ); } +fn local_calls<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> &'tcx [DefId] {+    let (body, _) = tcx.mir_validated(def_id);+    let body = body.borrow();+    let param_env = tcx.param_env(def_id);+    let mut calls = Vec::new();+    for bb_data in body.basic_blocks() {+        let terminator = bb_data.terminator();+        if let TerminatorKind::Call { func, .. } = &terminator.kind {+            let ty = func.ty(&body.local_decls, tcx);+            let (def_id, substs) = match ty.kind {+                ty::FnDef(def_id, substs) => (def_id, substs),+                _ => continue,+            };+            let instance = match ty::Instance::resolve(tcx, param_env, def_id, substs) {+                Some(instance) => instance,+                None => continue,+            };++            if let InstanceDef::Item(def_id) = instance.def {+                // We can't be mutually recursive with a function from another crate except via+                // function pointers or `impl Fn*`+                if !def_id.is_local() {+                    continue;+                }++                // We've seen this before+                if calls.contains(&def_id) {+                    continue;+                }+                calls.push(def_id);+            }+        }+    }+    tcx.intern_call_stack(calls)

Why interning, rather than tcx.arena.alloc_slice?

oli-obk

comment created time in 19 days

delete branch matthewjasper/rust

delete branch : relate-opt

delete time in 19 days

delete branch matthewjasper/rust

delete branch : or-patterns

delete time in 19 days

pull request commentrust-lang/rust

Implement MIR lowering for or-patterns

@bors r=pnkfelix

matthewjasper

comment created time in 20 days

pull request commentrust-lang/rust

Improve `ty.needs_drop`

@rust-timer build d596559b9cb2e0f3efe1e7a4bb8038dfde649f4c

matthewjasper

comment created time in 20 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha c7e6f88926e746d310ca15ce9761b3fd434dbfd2

Add more tests for or-patterns

view details

Matthew Jasper

commit sha 5f90dbd5e86a5ba68ec03cef5dd2c2418f587dbb

Make `Candidate` private

view details

Matthew Jasper

commit sha 89e52e2ca9e5bf63c197c2dfa7d062f409fbeec7

Address review comments

view details

matthewjasper

commit sha 1d90ed6370df81cb6e30816cb655c5a90af824a6

Apply suggestions from code review Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>

view details

Matthew Jasper

commit sha 9b9dafb2c8795a542e1c93036afa02889ef696f0

Make use of `Place: Copy`

view details

Matthew Jasper

commit sha 8dbbe4d14467d95d89ca3dff9054522f32cc12e8

Avoid scheduling repeated `StorageDead`s Also add some comments

view details

push time in 20 days

PR opened rust-lang/rust

Avoid exponential behaviour when relating types

When equating bound types we check subtyping in both directions. Since closures are invariant in their substs, we end up comparing the two types an exponential number of times. If there are no bound variables this isn't needed.

Closes #68061

+42 -2

0 comment

3 changed files

pr created time in 21 days

pull request commentrust-lang/rust

Make macro metavars respect (non-)hygiene

@craterbot check

matthewjasper

comment created time in 21 days

create barnchmatthewjasper/rust

branch : relate-opt

created branch time in 21 days

pull request commentrust-lang/rust

Make macro metavars respect (non-)hygiene

@bors try

matthewjasper

comment created time in 21 days

push eventmatthewjasper/rust

Charles Gleason

commit sha 293cdf7ac5d14811debdec3408afde104935caef

Make RangeMut::next_unchecked() output a mutable key reference

view details

Charles Gleason

commit sha f547978392872684085c96a3d5c1d00bad24b724

Implement clone_from for BTree collections

view details

Charles Gleason

commit sha 8651aa066fdbbcfaa082531969469c3fa289de9e

Add test for BTreeMap::clone_from

view details

Erin Power

commit sha 2ccf65c7eba519dcc407cb76f08d04ac00d05851

Remove appendix from LICENCE-APACHE

view details

Markus Westerlind

commit sha a5657dbc43d84133bd95e5de178d68634973b1b3

perf: Avoid creating a SmallVec if nothing changes during a fold Not sure if this helps but in theory it should be less work than what the current micro optimization does for `ty::Predicate` lists. (It would explain the overhead I am seeing from `perf`.)

view details

Markus Westerlind

commit sha 898ed636a3f44e3aa0156c1bb5ebc86b08aef5fa

Fix copy_from_slice which should be extend_from_slice

view details

Aaron Hill

commit sha 4840cd8117010e057109e0233f403e526d309d9f

Don't discard marker trait impls when inference variables are present Fixes #61651 Previously, we would unconditionally discard impl candidates for marker traits during trait selection. However, if the predicate had inference variables, this could have the effect of constrainting inference variables (due to a successful trait selection) when we would have otherwise failed due to mutliple applicable impls, This commit prevents marker trait impls from being discarded while the obligation predicate has any inference variables, ensuring that discarding impls will never cause us to incorrectly constraint inference variables.

view details

CAD97

commit sha 4e98966757cad7301ed2ae350d600c1678cc5116

stabalize ManuallyDrop::take

view details

Stein Somers

commit sha 9e90840a6ae4a6f61781bd80adea825d156ddffa

Simplify NodeHeader by avoiding slices in BTreeMaps with shared roots

view details

Stein Somers

commit sha 3ada8aeed403157f6608b2daf9a6c88908298b25

Add more BTreeMap/BTreeSet benchmarks regarding iteration

view details

Thom Chiovoloni

commit sha 6a7a69bde9813ac2868f36a01567c633ed6cd023

Add {leading,trailing}_ones to primitive int types

view details

Thom Chiovoloni

commit sha 2330e325ccee2e91d7aec6c0d4068748619bf588

Tests for leading_trailing_ones

view details

Markus Westerlind

commit sha a1586f1d2b17d687444d3b94aedd7ce24ae074ed

Explain fold_list

view details

Dylan MacKenzie

commit sha 2fb4c4472e4563a52e2dc544e47a01f564b9219e

Improve graphviz visualization for new framework

view details

Dylan MacKenzie

commit sha 07c51f605a021f1416a23e0cd76afa2156d5526c

Implement new dataflow framework and cursor

view details

Dylan MacKenzie

commit sha 7d5885727d4a42518f811933de20676f8be61818

Remove old "generic" framework

view details

Dylan MacKenzie

commit sha 355cfcdf433c47bfb2365752d33f2a24dfc6e78f

Use unified dataflow framework in `check_consts`

view details

Dylan MacKenzie

commit sha 47dce1be81b17512db9e730fdd04adf01f7cf10f

Add test for `ResultsCursor` This is a unit test that ensures the `seek` functions work correctly.

view details

Dylan MacKenzie

commit sha 2727f10b216fc6ac7d3a22f216f55e46e9c99506

Improve docs for new framework

view details

Dylan MacKenzie

commit sha b70898d5eeb9f7fc994035eb90b609c49f53f745

Improve docs for `GenKill` and `GenKillSet`

view details

push time in 22 days

more