Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Can't infer type correctly #17123

Closed
Jianqoq opened this issue Apr 22, 2024 · 5 comments
Closed

Can't infer type correctly #17123

Jianqoq opened this issue Apr 22, 2024 · 5 comments
Labels
A-ty type system / type inference / traits / method resolution C-bug Category: bug

Comments

@Jianqoq
Copy link

Jianqoq commented Apr 22, 2024

image

rustc 1.77.2
rust analyzer-version(release): 0.3.1932, 0.3.1924, 0.3.1916, 0.3.1914, 0.3.1906 all failed

0.3.1896 works.

@Jianqoq Jianqoq added the C-bug Category: bug label Apr 22, 2024
@Veykril
Copy link
Member

Veykril commented Apr 23, 2024

What crates are involved here? That is where does Tensor come from and is arange a trait function (trait from same or different crate?) or inherent?

@Veykril Veykril added the A-ty type system / type inference / traits / method resolution label Apr 23, 2024
@Jianqoq
Copy link
Author

Jianqoq commented Apr 23, 2024

The Tensor is from my own project, the arange method is a trait method. Tensor and the trait are defined in different crate.

@Veykril
Copy link
Member

Veykril commented Apr 23, 2024

Then we'll need to see the relevant source parts here or we won't be able to deduce the issue

@Jianqoq
Copy link
Author

Jianqoq commented May 5, 2024

https://github.com/Jianqoq/FastTensor, you can see error in src/main.rs

@detrumi
Copy link
Member

detrumi commented Dec 31, 2024

https://github.com/Jianqoq/FastTensor, you can see error in src/main.rs

The repo gives a 404 now

@Veykril Veykril closed this as not planned Won't fix, can't repro, duplicate, stale Dec 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-ty type system / type inference / traits / method resolution C-bug Category: bug
Projects
None yet
Development

No branches or pull requests

3 participants