method-resolution: emit error for method calls with illegal Sized bound

  Resolves a FIXME at hir-ty/src/method_resolution.rs:151 in
  lookup_method_including_private that previously allowed calls
  like `x.cant_call()` on a `&dyn Foo` receiver to type-check
  without diagnostic when `cant_call(&self) where Self: Sized`,
  even though the `Self: Sized` predicate cannot be satisfied
  by the trait object.

  The existing predicates_require_illegal_sized_bound check in
  confirm.rs already correctly identifies this case (it iterates
  elaborated predicates and looks for `Self: Sized` clauses with
  a `TyKind::Dynamic` self type).  Adds an
  InferenceDiagnostic::MethodCallIllegalSizedBound variant,
  plumbs the cooked diagnostic through hir, and renders it as
  RustcHardError E0277.

  Tests: trait-object call with Sized-bounded method errors;
  trait-object call to dyn-safe method does not; concrete-type
  call to a Sized-bounded method does not.

  Part of rust-lang/rust-analyzer#22140.

Signed-off-by: Onyeka Obi <softwareengineerasaservant@isurvivable.cv>
5 files changed
tree: 9f43c3ffd2f13b58691f449829dfc5aa17c1fb58
  1. .cargo/
  2. .config/
  3. .github/
  4. .vscode/
  5. assets/
  6. bench_data/
  7. crates/
  8. docs/
  9. editors/
  10. lib/
  11. xtask/
  12. .codecov.yml
  13. .editorconfig
  14. .git-blame-ignore-revs
  15. .gitattributes
  16. .gitignore
  17. .typos.toml
  18. Cargo.lock
  19. Cargo.toml
  20. CLAUDE.md
  21. clippy.toml
  22. CONTRIBUTING.md
  23. josh-sync.toml
  24. LICENSE-APACHE
  25. LICENSE-MIT
  26. PRIVACY.md
  27. README.md
  28. rust-version
  29. rustfmt.toml
  30. triagebot.toml
README.md

rust-analyzer is a language server that provides IDE functionality for writing Rust programs. You can use it with any editor that supports the Language Server Protocol (VS Code, Vim, Emacs, Zed, etc).

rust-analyzer features include go-to-definition, find-all-references, refactorings and code completion. rust-analyzer also supports integrated formatting (with rustfmt) and integrated diagnostics (with rustc and clippy).

Internally, rust-analyzer is structured as a set of libraries for analyzing Rust code. See Architecture in the manual.

codecov

Quick Start

https://rust-analyzer.github.io/book/installation.html

Documentation

If you want to contribute to rust-analyzer check out the CONTRIBUTING.md or if you are just curious about how things work under the hood, see the Contributing section of the manual.

If you want to use rust-analyzer's language server with your editor of choice, check the manual. It also contains some tips & tricks to help you be more productive when using rust-analyzer.

Security and Privacy

See the security and privacy sections of the manual.

Communication

For usage and troubleshooting requests, please use “IDEs and Editors” category of the Rust forum:

https://users.rust-lang.org/c/ide/14

For questions about development and implementation, join rust-analyzer working group on Zulip:

https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Frust-analyzer

Quick Links

License

rust-analyzer is primarily distributed under the terms of both the MIT license and the Apache License (Version 2.0).

See LICENSE-APACHE and LICENSE-MIT for details.