mirror of
https://github.com/rust-lang/rust-analyzer
synced 2024-12-27 05:23:24 +00:00
rustc_typeck to rustc_hir_analysis
This commit is contained in:
parent
f5fde4df43
commit
6f13f12301
4 changed files with 4 additions and 4 deletions
|
@ -1,7 +1,7 @@
|
|||
//! In certain situations, rust automatically inserts derefs as necessary: for
|
||||
//! example, field accesses `foo.bar` still work when `foo` is actually a
|
||||
//! reference to a type with the field `bar`. This is an approximation of the
|
||||
//! logic in rustc (which lives in librustc_typeck/check/autoderef.rs).
|
||||
//! logic in rustc (which lives in rustc_hir_analysis/check/autoderef.rs).
|
||||
|
||||
use std::sync::Arc;
|
||||
|
||||
|
|
|
@ -2,7 +2,7 @@
|
|||
//! the type of each expression and pattern.
|
||||
//!
|
||||
//! For type inference, compare the implementations in rustc (the various
|
||||
//! check_* methods in librustc_typeck/check/mod.rs are a good entry point) and
|
||||
//! check_* methods in rustc_hir_analysis/check/mod.rs are a good entry point) and
|
||||
//! IntelliJ-Rust (org.rust.lang.core.types.infer). Our entry point for
|
||||
//! inference here is the `infer` function, which infers the types of all
|
||||
//! expressions in a given function.
|
||||
|
|
|
@ -3,7 +3,7 @@
|
|||
//! like going from `&Vec<T>` to `&[T]`.
|
||||
//!
|
||||
//! See <https://doc.rust-lang.org/nomicon/coercions.html> and
|
||||
//! `librustc_typeck/check/coercion.rs`.
|
||||
//! `rustc_hir_analysis/check/coercion.rs`.
|
||||
|
||||
use std::{iter, sync::Arc};
|
||||
|
||||
|
|
|
@ -1,7 +1,7 @@
|
|||
//! This module is concerned with finding methods that a given type provides.
|
||||
//! For details about how this works in rustc, see the method lookup page in the
|
||||
//! [rustc guide](https://rust-lang.github.io/rustc-guide/method-lookup.html)
|
||||
//! and the corresponding code mostly in librustc_typeck/check/method/probe.rs.
|
||||
//! and the corresponding code mostly in rustc_hir_analysis/check/method/probe.rs.
|
||||
use std::{iter, ops::ControlFlow, sync::Arc};
|
||||
|
||||
use arrayvec::ArrayVec;
|
||||
|
|
Loading…
Reference in a new issue