[BUG] The compiler allows us to access unbound parameter of an alias
Open
@zyx-billy is already working on this.
Since Jul 30, 2025.
auto_priority_triaged
bug
modular-repo
mojo
- Dominant language
- Mojo
- Stars
- 29.8k
- Forks
- 3.2k
- PR merge metrics
- No merged PRs in 30d
Description
Bug description
As title. CC @zyx-billy.
I'm not sure whether it's intentional.
The "hole" is typed, so it's somewhat equivalent to adding a bottom value to each type in the parameter domain.
Steps to reproduce
fn main():
alias dt = Scalar.dtype # alias dt = ?
alias S = SIMD[dt, 1] # alias S = SIMD[?, 1]
System information
Mojo 25.6.0.dev2025073007 (1df3bfc1)
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.