Actions: rust-lang/rust
Actions
37,880 workflow run results
37,880 workflow run results
PeekMut generic over the allocator
CI
#176201:
Pull request #146621
synchronize
by
cammeresi
-Znext-solver instantiate predicate binder without recanonicalizing goal
CI
#176200:
Pull request #146725
opened
by
lcnr
-Znext-solver slightly strenghten deduce closure sig
CI
#176191:
Pull request #146720
opened
by
lcnr
-Znext-solver allow ExprKind::Call for not-yet defined opaques
CI
#176182:
Pull request #145993
synchronize
by
lcnr
-Znext-solver allow ExprKind::Call for not-yet defined opaques
CI
#176181:
Pull request #145993
synchronize
by
lcnr
contract_checks
CI
#176179:
Pull request #144438
synchronize
by
dawidl022