profile
viewpoint

rust-lang/nomicon 837

The Dark Arts of Advanced and Unsafe Rust Programming

rust-lang/reference 555

The Rust Reference

matthewjasper/book 0

The Rust Programming Language

matthewjasper/cargo 0

The Rust package manager

matthewjasper/chalk 0

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

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

issue openedrust-lang/chalk

Auto traits are not handled for generic closures

The following test fails with both solvers (returning ambiguous).

program {
      #[auto]
      trait Send { }

      closure with_ty<T>(self,) { T }
}

goal {
    forall<T> { if (T: Send) { with_ty<T>: Send } }
} yields {
    "Unique"
}

The empty substs here seem suspicious. https://github.com/rust-lang/chalk/blob/e0c94db8a497eee4ed1f49534fb0714801cb90e8/chalk-solve/src/clauses.rs#L167

created time in 3 days

pull request commentrust-lang/rust

Remove unused root_parent.

@bors r+

cjgillot

comment created time in 4 days

delete branch matthewjasper/chalk

delete branch : wf-clauses

delete time in 4 days

pull request commentrust-lang/rust

Handle placeholder regions in NLL type outlive constraints

r? @jackh726

matthewjasper

comment created time in 4 days

pull request commentrust-lang/rust

Side-step ICE on `RePlaceholder` in `eval_verify_bound`

Opened #91321

estebank

comment created time in 4 days

PR opened rust-lang/rust

Handle placeholder regions in NLL type outlive constraints

Closes #76168

+33 -1

0 comment

2 changed files

pr created time in 4 days

PullRequestEvent

PR closed rust-lang/rust

Perform Sync check on static items in wf-check instead of during const checks S-waiting-on-review

r? @RalfJung

This check is solely happening on the signature of the static item and not on its body, therefor it belongs into wf-checking instead of const checking.

+103 -134

5 comments

22 changed files

oli-obk

pr closed time in 4 days

pull request commentrust-lang/rust

Add a query for resolving an impl item from the trait item

I can't reproduce any significant perf changes locally. Trying again in case the results were spurious @bors try @rust-timer queue

matthewjasper

comment created time in 5 days

create barnchmatthewjasper/rust

branch : constaint-placeholders

created branch time in 6 days

pull request commentrust-lang/rust

Optimize live point computation

@bors r+

Mark-Simulacrum

comment created time in 9 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 1f94b9d180e90fb306a2af7ade388fb58aabb856

Add query to avoid name comparison in `leaf_def`

view details

Matthew Jasper

commit sha 9db2d8c4913c97e1fd47160579f254ff9795522a

Update clippy for associated item changes

view details

push time in 12 days

pull request commentrust-lang/rust

Adopt let_else in more places in rustc_mir_build

@bors r+

est31

comment created time in 12 days

push eventmatthewjasper/rust

Matthew Jasper

commit sha 1aa12c664fdea1cda892405aed5707e61747dc71

Add query to avoid name comparison in `leaf_def`

view details

Matthew Jasper

commit sha 49a79f21e5ffbbe8bb1a89024825a1ece894341e

Update clippy for associated item changes

view details

push time in 12 days

pull request commentrust-lang/rust

Add a query for resolving an impl item from the trait item

@bors try @rust-timer queue

matthewjasper

comment created time in 13 days

push eventmatthewjasper/rust

Lokathor

commit sha 8ee9cbaf607f7077d7ccc6b7d288f75cf55cf9b8

Create README.md

view details

Lokathor

commit sha e288fb8cba2b28ec9db6c891d719acf567f9cd72

start a guide

view details

Lokathor

commit sha 8204872d0147ef10c6ad4d5544eaaf6dcd7b6444

typo

view details

Lokathor

commit sha f6e6387fccd1f7c37c353ab4d674d641e21d4315

consistent wording.

view details

Caleb Zulawski

commit sha 011aafea16428443076a01be98e53018706a7964

Add initial type implementations

view details

Caleb Zulawski

commit sha 0f837a9147a1ba22cfb12a4480ce1c18d3afc6b8

Add docs

view details

Caleb Zulawski

commit sha c74eec7e25d0ab505dbb8f31d2e63839e5384c15

Apply suggestions from code review Co-authored-by: Lokathor <zefria@gmail.com>

view details

Caleb Zulawski

commit sha 543bcd37e91afc1271befde3a33d6a73abc204d4

Combine vector definition modules by scalar type

view details

Caleb Zulawski

commit sha 872e8f62d6e776436cb830f3178beb4a853e7df8

Simplify transmutes

view details

Caleb Zulawski

commit sha 3df72fddc267144a2052167c012b654974d84bb8

Add masks

view details

Caleb Zulawski

commit sha 613f2420885432aecafb5493e3d0cd3f9a4d67f1

Add pointer vectors and implement a few more traits

view details

Caleb Zulawski

commit sha b7d1f3e797fbb12059203a640adce59f2a359dc4

Improve Debug implementation, add additional formatting traits

view details

Caleb Zulawski

commit sha 2178409df574aa83c5e9e6e7bff62b66c32acf63

Remove some obsolete macros

view details

Caleb Zulawski

commit sha 992768709f555f716f6869646937d236111a40dd

Remove pointer vectors

view details

Caleb Zulawski

commit sha 167c3c8100bfbe704ecf3743cda2141c6cb6d15a

Change doc attributes to comments

view details

Caleb Zulawski

commit sha d817b56f1d7d485e7a2e466730adf2a618e3b077

Manually implement some traits, instead of derive

view details

Caleb Zulawski

commit sha b9bf9ef3c2dab2d38f964f13154e517515e8e2f3

Remove remaining derived traits

view details

Caleb Zulawski

commit sha 88bfbb001e291ba97b3b6d6cea3456bbd4fbf640

Mark trait methods inline

view details

Caleb Zulawski

commit sha cfda50a82a7eb1c04c8ed18600c69e587af3556e

Remove vectors under 64-bit width

view details

Lokathor

commit sha 24aa1f4f747e618ddb341bde35ba7bd05dbf766b

Merge pull request #2 from rust-lang/feature/initial-types Feature/initial types

view details

push time in 14 days

pull request commentrust-lang/rust

Optimize `impl Hash for ObligationCauseData` by not hashing `ObligationCauseCode` variant fields

@bors try @rust-timer queue

the8472

comment created time in 15 days

delete branch matthewjasper/rust

delete branch : assoc-item-cleanup-2

delete time in 17 days

pull request commentrust-lang/rust

Assoc item cleanup Part 2

@bors retry

matthewjasper

comment created time in 17 days

pull request commentrust-lang/rust

Assoc item cleanup Part 2

Investigating locally, the change looks spurious. Looking at the history of these tests shows that a similar change happened when #89550 was merged and then later disappeared.

matthewjasper

comment created time in 18 days

pull request commentrust-lang/rust

do not emit overlap errors for impls failing the orphan check

Perf "regressions" disappeared when the next PR was merged

lcnr

comment created time in 18 days

pull request commentrust-lang/rust

Address performance regression introduced by #90218

@bors try @rust-timer queue

JakobDegen

comment created time in 20 days

pull request commentrust-lang/rust

Assoc item cleanup Part 2

@bors try @rust-timer queue

matthewjasper

comment created time in 20 days

PR opened rust-lang/rust

Assoc item cleanup Part 2
  • Remove AssocItem from RegionVariableOrigin::AutoRef
  • Use the associated_item_def_ids query instead of the associated_items query when possible

The change to ObligationCauseCode from #90639 is omitted because it caused a perf regression.

r? @cjgillot

+20 -38

0 comment

9 changed files

pr created time in 20 days

create barnchmatthewjasper/rust

branch : assoc-item-cleanup-2

created branch time in 21 days

delete branch matthewjasper/rust

delete branch : assoc-item-cleanup

delete time in 21 days

pull request commentrust-lang/rust

Assoc item cleanup

I was hoping to readd some changes back into this PR, but I guess this can be merged as is for now. @bors r=cjgillot

matthewjasper

comment created time in 21 days

more