mirror of
https://github.com/rust-lang/rust-analyzer
synced 2025-01-11 04:38:49 +00:00
rustc_typeck to rustc_hir_analysis
This commit is contained in:
parent
75f881ad50
commit
b33e3a6af5
4 changed files with 4 additions and 4 deletions
|
@ -1,7 +1,7 @@
|
||||||
//! In certain situations, rust automatically inserts derefs as necessary: for
|
//! In certain situations, rust automatically inserts derefs as necessary: for
|
||||||
//! example, field accesses `foo.bar` still work when `foo` is actually a
|
//! 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
|
//! 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;
|
use std::sync::Arc;
|
||||||
|
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
//! the type of each expression and pattern.
|
//! the type of each expression and pattern.
|
||||||
//!
|
//!
|
||||||
//! For type inference, compare the implementations in rustc (the various
|
//! 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
|
//! IntelliJ-Rust (org.rust.lang.core.types.infer). Our entry point for
|
||||||
//! inference here is the `infer` function, which infers the types of all
|
//! inference here is the `infer` function, which infers the types of all
|
||||||
//! expressions in a given function.
|
//! expressions in a given function.
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
//! like going from `&Vec<T>` to `&[T]`.
|
//! like going from `&Vec<T>` to `&[T]`.
|
||||||
//!
|
//!
|
||||||
//! See <https://doc.rust-lang.org/nomicon/coercions.html> and
|
//! 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};
|
use std::{iter, sync::Arc};
|
||||||
|
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
//! This module is concerned with finding methods that a given type provides.
|
//! 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
|
//! 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)
|
//! [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 std::{iter, ops::ControlFlow, sync::Arc};
|
||||||
|
|
||||||
use arrayvec::ArrayVec;
|
use arrayvec::ArrayVec;
|
||||||
|
|
Loading…
Reference in a new issue