Comments (1)
Very strongly related to #108814. To recap, we need to figure out how/when/where to reject closures1 when presented with a function-family trait bound which binds type or const vars late. Obviously no closure can impl such a bound. Doesn't matter if this is an APIT or RPIT, the problem is more fundamental.
Footnotes
-
Closures can't be late-bound generic over types or consts. ↩
from rust.
Related Issues (20)
- ICE: `expected int of size 8, but got size 1` HOT 5
- collapse_debuginfo does not work with static declarations. HOT 1
- compiletest: Deficiencies and pitfalls of `//@ normalize-*` headers
- compiletest: Printing process output panics if the output contains unknown JSON-like text HOT 1
- Several tests with `//@ needs-force-clang-based-tests` don't seem to run anywhere HOT 1
- ICE: `import.imported_module.get().is_none()` HOT 2
- ICE: `Inconsistent rustc_transmute::is_transmutable(...) result, got Yes` HOT 3
- ICE: `None` in `compiler/rustc_middle/src/ty/sty.rs` HOT 9
- Strictly proof not tainted by errors in `TypeckResults` HOT 5
- Tracking Issue for is_none_or
- ICE: `unmatched arg and hir arg: found '?1 vs Type` HOT 1
- TAIT feature is broken HOT 6
- ICE: `inconsistent resolution for an import` HOT 3
- ICE: `could not find allocation for alloc3` HOT 4
- `./x fmt --all` is not idempotent HOT 2
- APITIT get treated as ordinary params in "not all trait impls implemented" error HOT 1
- `core::ptr::copy` unsafe precondition message is for `core::ptr::copy_nonoverlapping` instead
- Potential overflow in the calculation of complex trait bounds involving tuples HOT 1
- TAIT: type parameter `impl FnOnce()` is part of concrete type but not used in parameter list for the `impl Trait` type alias HOT 4
- Weird diagnostic for recursion in const fn HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from rust.