Skip to content
Closed
Changes from 1 commit
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
30721b0
Add stubs for environment variables; document some of the important ones
jyn514 May 27, 2025
a383fb0
asm: Stabilize loongarch32
heiher Jan 9, 2025
90bb5ca
moved 34 tests to organized locations
Kivooeo Jul 24, 2025
7bd902d
Start reporting future breakage for `ILL_FORMED_ATTRIBUTE_INPUT` in d…
JonathanBrouwer Jul 27, 2025
06fa28a
Let forward_ref_* macros accept multiple attributes, and require attr…
clarfonthey Jul 14, 2025
59a69c7
Constify remaining operators
clarfonthey Jul 15, 2025
d9b725a
Improve error output when a command fails in bootstrap
Kobzol Aug 8, 2025
43327b5
switch polonius compare-mode to polonius=next
lqd Feb 14, 2025
f4094ea
update test expectations for boring locals + dropckoutlives interactions
lqd Mar 24, 2025
a5adde8
simplify polonius=next
lqd Aug 8, 2025
1330898
new impl fixes crash test
lqd Jun 16, 2025
d4bbd68
turn expensive assert into debug assertion
lqd Jun 18, 2025
b172980
add some test cases for overlapping yielded items
lqd Jun 26, 2025
48ebae9
add NLL-like imprecision example
lqd Jun 26, 2025
9badbdf
add cursor-like example that works
lqd Jun 26, 2025
b99fe2b
mark polonius=next's NLL imprecisions as known-bugs
lqd Aug 8, 2025
dcc1605
[win][arm64ec] Partial fix for raw-dylib-link-ordinal on Arm64EC
dpaoliello Aug 8, 2025
87a09b2
[win][arm64ec] Add '/machine:arm64ec' when linking LLVM as Arm64EC
dpaoliello Aug 8, 2025
339be84
Use new public libtest `ERROR_EXIT_CODE` constant in rustdoc
GuillaumeGomez Jul 31, 2025
2736d66
rename `TraitRef::from_method` to `from_assoc`
fee1-dead Aug 9, 2025
a8b0f75
Use `to_ascii_lowercase` to avoid heap alloc in `detect_confuse_type`
xizheyin Aug 9, 2025
b5e2ba6
Stabilize feature
Kivooeo Aug 8, 2025
f777067
Port `#[allow_internal_unsafe]` to the new attribute system (attempt 2)
scrabsha Aug 3, 2025
a5ddf5d
Override custom Cargo `build-dir` in bootstrap
Kobzol Aug 9, 2025
1676563
comments
Kivooeo Jul 24, 2025
ca1e464
Change days-threshold to 28 in [behind-upstream]
xizheyin Aug 9, 2025
71f6e53
some `derive_more` refactors
fee1-dead Aug 9, 2025
f4d3dd0
Apply suggestions from code review
jyn514 Aug 9, 2025
6de338b
Enable limit_rdylib_exports on Solaris
bjorn3 Aug 9, 2025
a59842e
improve "Documentation problem" issue template.
lolbinarycat Aug 8, 2025
c0a3e48
`{BTree,Hash}Map`: add "`Entry` API" section heading
ada4a Aug 9, 2025
06e4365
`HashMap`: also add "Usage with custom key types" heading
ada4a Aug 9, 2025
feed41c
Fix an unstable feature comment that wasn't a doc comment
joshtriplett Aug 9, 2025
f95c41f
Rollup merge of #141624 - jyn514:env-var-stubs, r=BoxyUwU
Zalathar Aug 10, 2025
37d26b4
Rollup merge of #143093 - lqd:polonius-pre-alpha, r=jackh726
Zalathar Aug 10, 2025
bdd2486
Rollup merge of #143949 - clarfonthey:const-arith-ops, r=Amanieu
Zalathar Aug 10, 2025
15d030d
Rollup merge of #144402 - heiher:stabilize-loong32-asm, r=Amanieu
Zalathar Aug 10, 2025
1d39978
Rollup merge of #144403 - Kivooeo:issue4, r=jieyouxu
Zalathar Aug 10, 2025
f39fdb0
Rollup merge of #144544 - JonathanBrouwer:illformed-in-deps, r=travis…
Zalathar Aug 10, 2025
edd8735
Rollup merge of #144739 - GuillaumeGomez:rustdoc-test-cleanup, r=fmease
Zalathar Aug 10, 2025
169b088
Rollup merge of #145089 - Kobzol:bootstrap-cmd-error, r=jieyouxu
Zalathar Aug 10, 2025
6d3fdb5
Rollup merge of #145112 - dpaoliello:raw-dylib-link-ordinal, r=jieyouxu
Zalathar Aug 10, 2025
5ce5f9e
Rollup merge of #145129 - dpaoliello:arm64eclink, r=wesleywiser
Zalathar Aug 10, 2025
5164c6c
Rollup merge of #145130 - lolbinarycat:issue-template-docs-update, r=…
Zalathar Aug 10, 2025
8c58da3
Rollup merge of #145135 - Kivooeo:stabilize-duration_constructors_lit…
Zalathar Aug 10, 2025
6c09c40
Rollup merge of #145145 - fee1-dead-contrib:push-qnmpmtmtpkkr, r=jiey…
Zalathar Aug 10, 2025
87475a9
Rollup merge of #145147 - fee1-dead-contrib:push-mxxpmlpmzmsz, r=comp…
Zalathar Aug 10, 2025
b78241d
Rollup merge of #145152 - xizheyin:detect-confusion-type, r=lqd
Zalathar Aug 10, 2025
63c266f
Rollup merge of #145155 - scrabsha:push-tkvwkolzooyq, r=jdonszelmann
Zalathar Aug 10, 2025
3636efa
Rollup merge of #145156 - Kobzol:cargo-build-dir, r=lqd,jieyouxu
Zalathar Aug 10, 2025
aa85a10
Rollup merge of #145160 - xizheyin:behind-upstream, r=Urgau
Zalathar Aug 10, 2025
1e89646
Rollup merge of #145162 - ada4a:hash_and_btree_map-add-entry-section,…
Zalathar Aug 10, 2025
9eeed13
Rollup merge of #145175 - bjorn3:solaris_limit_rdylib_exports, r=lqd
Zalathar Aug 10, 2025
f0ea3bf
Rollup merge of #145187 - joshtriplett:fix-unstable-feature-comment, …
Zalathar Aug 10, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
turn expensive assert into debug assertion
  • Loading branch information
lqd committed Aug 8, 2025
commit d4bbd681bbdb2b47717922e46bd022dbf2535403
5 changes: 3 additions & 2 deletions compiler/rustc_borrowck/src/polonius/typeck_constraints.rs
Original file line number Diff line number Diff line change
Expand Up @@ -94,8 +94,8 @@ fn localize_statement_constraint<'tcx>(
// - and that should be impossible in MIR
//
// When we have a more complete implementation in the future, tested with crater, etc,
// we can relax this to a debug assert instead, or remove it.
assert!(
// we can remove this assertion. It's a debug assert because it can be expensive.
debug_assert!(
{
let mut lhs_regions = FxHashSet::default();
tcx.for_each_free_region(lhs, |region| {
Expand Down Expand Up @@ -183,6 +183,7 @@ fn localize_terminator_constraint<'tcx>(
}
}
}

/// For a given outlives constraint and CFG edge, returns the localized constraint with the
/// appropriate `from`-`to` direction. This is computed according to whether the constraint flows to
/// or from a free region in the given `value`, some kind of result for an effectful operation, like
Expand Down