File tree Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 1
1
//! In certain situations, rust automatically inserts derefs as necessary: for
2
2
//! example, field accesses `foo.bar` still work when `foo` is actually a
3
3
//! reference to a type with the field `bar`. This is an approximation of the
4
- //! logic in rustc (which lives in librustc_typeck /check/autoderef.rs).
4
+ //! logic in rustc (which lives in rustc_hir_analysis /check/autoderef.rs).
5
5
6
6
use std:: sync:: Arc ;
7
7
Original file line number Diff line number Diff line change 2
2
//! the type of each expression and pattern.
3
3
//!
4
4
//! For type inference, compare the implementations in rustc (the various
5
- //! check_* methods in librustc_typeck /check/mod.rs are a good entry point) and
5
+ //! check_* methods in rustc_hir_analysis /check/mod.rs are a good entry point) and
6
6
//! IntelliJ-Rust (org.rust.lang.core.types.infer). Our entry point for
7
7
//! inference here is the `infer` function, which infers the types of all
8
8
//! expressions in a given function.
Original file line number Diff line number Diff line change 3
3
//! like going from `&Vec<T>` to `&[T]`.
4
4
//!
5
5
//! See <https://doc.rust-lang.org/nomicon/coercions.html> and
6
- //! `librustc_typeck /check/coercion.rs`.
6
+ //! `rustc_hir_analysis /check/coercion.rs`.
7
7
8
8
use std:: { iter, sync:: Arc } ;
9
9
Original file line number Diff line number Diff line change 1
1
//! This module is concerned with finding methods that a given type provides.
2
2
//! For details about how this works in rustc, see the method lookup page in the
3
3
//! [rustc guide](https://rust-lang.github.io/rustc-guide/method-lookup.html)
4
- //! and the corresponding code mostly in librustc_typeck /check/method/probe.rs.
4
+ //! and the corresponding code mostly in rustc_hir_analysis /check/method/probe.rs.
5
5
use std:: { iter, ops:: ControlFlow , sync:: Arc } ;
6
6
7
7
use arrayvec:: ArrayVec ;
You can’t perform that action at this time.
0 commit comments