2019-11-24 14:34:36 +00:00
|
|
|
//! A desugared representation of paths like `crate::foo` or `<Type as Trait>::bar`.
|
2019-12-13 11:12:36 +00:00
|
|
|
mod lower;
|
2019-10-30 13:12:55 +00:00
|
|
|
|
2020-01-10 17:40:45 +00:00
|
|
|
use std::{
|
|
|
|
fmt::{self, Display},
|
|
|
|
iter,
|
|
|
|
};
|
2019-10-30 13:12:55 +00:00
|
|
|
|
2022-03-09 18:50:24 +00:00
|
|
|
use crate::{
|
|
|
|
body::LowerCtx,
|
|
|
|
type_ref::{ConstScalarOrPath, LifetimeRef},
|
|
|
|
};
|
2022-06-23 18:08:29 +00:00
|
|
|
use hir_expand::name::Name;
|
2023-01-09 18:29:28 +00:00
|
|
|
use intern::Interned;
|
2020-12-19 00:09:48 +00:00
|
|
|
use syntax::ast;
|
2019-10-30 13:12:55 +00:00
|
|
|
|
2021-05-25 23:01:58 +00:00
|
|
|
use crate::type_ref::{TypeBound, TypeRef};
|
2019-10-30 13:12:55 +00:00
|
|
|
|
2022-01-26 17:31:07 +00:00
|
|
|
pub use hir_expand::mod_path::{path, ModPath, PathKind};
|
2019-12-18 16:06:52 +00:00
|
|
|
|
2020-02-02 13:04:06 +00:00
|
|
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
|
|
|
pub enum ImportAlias {
|
|
|
|
/// Unnamed alias, as in `use Foo as _;`
|
|
|
|
Underscore,
|
|
|
|
/// Named alias
|
|
|
|
Alias(Name),
|
|
|
|
}
|
|
|
|
|
2021-05-21 21:45:09 +00:00
|
|
|
impl Display for ImportAlias {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
|
|
match self {
|
|
|
|
ImportAlias::Underscore => f.write_str("_"),
|
2021-11-04 17:12:05 +00:00
|
|
|
ImportAlias::Alias(name) => f.write_str(&name.to_smol_str()),
|
2021-05-21 21:45:09 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-10-30 13:12:55 +00:00
|
|
|
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
|
2019-12-13 11:12:36 +00:00
|
|
|
pub struct Path {
|
2019-12-18 16:42:49 +00:00
|
|
|
/// Type based path like `<T>::foo`.
|
2023-02-14 15:47:01 +00:00
|
|
|
/// Note that paths like `<Type as Trait>::foo` are desugared to `Trait::<Self=Type>::foo`.
|
2021-04-05 00:03:37 +00:00
|
|
|
type_anchor: Option<Interned<TypeRef>>,
|
2021-04-01 18:35:21 +00:00
|
|
|
mod_path: Interned<ModPath>,
|
2023-02-14 15:47:01 +00:00
|
|
|
/// Invariant: the same len as `self.mod_path.segments` or `None` if all segments are `None`.
|
|
|
|
generic_args: Option<Box<[Option<Interned<GenericArgs>>]>>,
|
2019-10-30 13:12:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Generic arguments to a path segment (e.g. the `i32` in `Option<i32>`). This
|
2019-12-12 16:17:57 +00:00
|
|
|
/// also includes bindings of associated types, like in `Iterator<Item = Foo>`.
|
2019-10-30 13:12:55 +00:00
|
|
|
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
|
|
|
|
pub struct GenericArgs {
|
|
|
|
pub args: Vec<GenericArg>,
|
|
|
|
/// This specifies whether the args contain a Self type as the first
|
|
|
|
/// element. This is the case for path segments like `<T as Trait>`, where
|
|
|
|
/// `T` is actually a type parameter for the path `Trait` specifying the
|
|
|
|
/// Self type. Otherwise, when we have a path `Trait<X, Y>`, the Self type
|
|
|
|
/// is left out.
|
|
|
|
pub has_self_type: bool,
|
|
|
|
/// Associated type bindings like in `Iterator<Item = T>`.
|
2020-04-10 20:05:46 +00:00
|
|
|
pub bindings: Vec<AssociatedTypeBinding>,
|
2021-11-19 18:58:00 +00:00
|
|
|
/// Whether these generic args were desugared from `Trait(Arg) -> Output`
|
|
|
|
/// parenthesis notation typically used for the `Fn` traits.
|
|
|
|
pub desugared_from_fn: bool,
|
2020-04-10 20:05:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// An associated type binding like in `Iterator<Item = T>`.
|
|
|
|
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
|
|
|
|
pub struct AssociatedTypeBinding {
|
|
|
|
/// The name of the associated type.
|
|
|
|
pub name: Name,
|
2022-10-26 13:52:04 +00:00
|
|
|
/// The generic arguments to the associated type. e.g. For `Trait<Assoc<'a, T> = &'a T>`, this
|
|
|
|
/// would be `['a, T]`.
|
|
|
|
pub args: Option<Interned<GenericArgs>>,
|
2020-04-10 20:05:46 +00:00
|
|
|
/// The type bound to this associated type (in `Item = T`, this would be the
|
|
|
|
/// `T`). This can be `None` if there are bounds instead.
|
|
|
|
pub type_ref: Option<TypeRef>,
|
|
|
|
/// Bounds for the associated type, like in `Iterator<Item:
|
|
|
|
/// SomeOtherTrait>`. (This is the unstable `associated_type_bounds`
|
|
|
|
/// feature.)
|
2021-05-24 13:13:23 +00:00
|
|
|
pub bounds: Vec<Interned<TypeBound>>,
|
2019-10-30 13:12:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// A single generic argument.
|
|
|
|
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
|
|
|
|
pub enum GenericArg {
|
|
|
|
Type(TypeRef),
|
2020-12-11 12:49:32 +00:00
|
|
|
Lifetime(LifetimeRef),
|
2022-03-09 18:50:24 +00:00
|
|
|
Const(ConstScalarOrPath),
|
2019-10-30 13:12:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Path {
|
|
|
|
/// Converts an `ast::Path` to `Path`. Works with use trees.
|
|
|
|
/// It correctly handles `$crate` based path from macro call.
|
2022-07-20 13:02:08 +00:00
|
|
|
pub fn from_src(path: ast::Path, ctx: &LowerCtx<'_>) -> Option<Path> {
|
2021-05-06 21:23:50 +00:00
|
|
|
lower::lower_path(path, ctx)
|
2019-10-30 13:12:55 +00:00
|
|
|
}
|
|
|
|
|
2019-12-24 11:45:28 +00:00
|
|
|
/// Converts a known mod path to `Path`.
|
2021-05-31 20:44:51 +00:00
|
|
|
pub fn from_known_path(
|
|
|
|
path: ModPath,
|
2021-11-20 15:37:41 +00:00
|
|
|
generic_args: impl Into<Box<[Option<Interned<GenericArgs>>]>>,
|
2021-05-31 20:44:51 +00:00
|
|
|
) -> Path {
|
2022-02-02 12:35:46 +00:00
|
|
|
let generic_args = generic_args.into();
|
|
|
|
assert_eq!(path.len(), generic_args.len());
|
2023-02-14 15:47:01 +00:00
|
|
|
Path { type_anchor: None, mod_path: Interned::new(path), generic_args: Some(generic_args) }
|
2019-12-24 11:45:28 +00:00
|
|
|
}
|
|
|
|
|
2019-12-13 11:12:36 +00:00
|
|
|
pub fn kind(&self) -> &PathKind {
|
|
|
|
&self.mod_path.kind
|
2019-10-30 13:12:55 +00:00
|
|
|
}
|
|
|
|
|
2019-12-18 16:41:33 +00:00
|
|
|
pub fn type_anchor(&self) -> Option<&TypeRef> {
|
2019-12-20 19:15:54 +00:00
|
|
|
self.type_anchor.as_deref()
|
2019-12-18 16:41:33 +00:00
|
|
|
}
|
|
|
|
|
2019-12-13 11:12:36 +00:00
|
|
|
pub fn segments(&self) -> PathSegments<'_> {
|
2023-02-14 15:47:01 +00:00
|
|
|
let s = PathSegments {
|
|
|
|
segments: self.mod_path.segments(),
|
|
|
|
generic_args: self.generic_args.as_deref(),
|
|
|
|
};
|
|
|
|
if let Some(generic_args) = s.generic_args {
|
|
|
|
assert_eq!(s.segments.len(), generic_args.len());
|
|
|
|
}
|
|
|
|
s
|
2019-10-30 13:12:55 +00:00
|
|
|
}
|
|
|
|
|
2019-12-13 11:12:36 +00:00
|
|
|
pub fn mod_path(&self) -> &ModPath {
|
|
|
|
&self.mod_path
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn qualifier(&self) -> Option<Path> {
|
|
|
|
if self.mod_path.is_ident() {
|
2019-10-30 13:12:55 +00:00
|
|
|
return None;
|
|
|
|
}
|
2019-12-13 11:12:36 +00:00
|
|
|
let res = Path {
|
2019-12-18 16:41:33 +00:00
|
|
|
type_anchor: self.type_anchor.clone(),
|
2021-04-01 18:35:21 +00:00
|
|
|
mod_path: Interned::new(ModPath::from_segments(
|
2022-03-12 14:30:07 +00:00
|
|
|
self.mod_path.kind,
|
2022-01-26 17:31:07 +00:00
|
|
|
self.mod_path.segments()[..self.mod_path.segments().len() - 1].iter().cloned(),
|
2021-04-01 18:35:21 +00:00
|
|
|
)),
|
2023-02-14 15:47:01 +00:00
|
|
|
generic_args: self.generic_args.as_ref().map(|it| it[..it.len() - 1].to_vec().into()),
|
2019-12-13 11:12:36 +00:00
|
|
|
};
|
|
|
|
Some(res)
|
2019-10-30 13:12:55 +00:00
|
|
|
}
|
2021-03-14 12:03:39 +00:00
|
|
|
|
|
|
|
pub fn is_self_type(&self) -> bool {
|
2023-02-14 15:47:01 +00:00
|
|
|
self.type_anchor.is_none()
|
|
|
|
&& self.generic_args.as_deref().is_none()
|
|
|
|
&& self.mod_path.is_Self()
|
2021-03-14 12:03:39 +00:00
|
|
|
}
|
2019-12-13 11:12:36 +00:00
|
|
|
}
|
2019-10-30 13:12:55 +00:00
|
|
|
|
2019-12-13 11:12:36 +00:00
|
|
|
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
|
|
|
|
pub struct PathSegment<'a> {
|
|
|
|
pub name: &'a Name,
|
|
|
|
pub args_and_bindings: Option<&'a GenericArgs>,
|
|
|
|
}
|
2019-10-30 13:12:55 +00:00
|
|
|
|
2019-12-13 11:12:36 +00:00
|
|
|
pub struct PathSegments<'a> {
|
|
|
|
segments: &'a [Name],
|
2023-02-14 15:47:01 +00:00
|
|
|
generic_args: Option<&'a [Option<Interned<GenericArgs>>]>,
|
2019-12-13 11:12:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> PathSegments<'a> {
|
2023-02-14 15:47:01 +00:00
|
|
|
pub const EMPTY: PathSegments<'static> = PathSegments { segments: &[], generic_args: None };
|
2019-12-13 11:12:36 +00:00
|
|
|
pub fn is_empty(&self) -> bool {
|
|
|
|
self.len() == 0
|
|
|
|
}
|
|
|
|
pub fn len(&self) -> usize {
|
|
|
|
self.segments.len()
|
|
|
|
}
|
|
|
|
pub fn first(&self) -> Option<PathSegment<'a>> {
|
|
|
|
self.get(0)
|
|
|
|
}
|
|
|
|
pub fn last(&self) -> Option<PathSegment<'a>> {
|
|
|
|
self.get(self.len().checked_sub(1)?)
|
|
|
|
}
|
|
|
|
pub fn get(&self, idx: usize) -> Option<PathSegment<'a>> {
|
|
|
|
let res = PathSegment {
|
|
|
|
name: self.segments.get(idx)?,
|
2023-02-14 15:47:01 +00:00
|
|
|
args_and_bindings: self.generic_args.and_then(|it| it.get(idx)?.as_deref()),
|
2019-12-13 11:12:36 +00:00
|
|
|
};
|
|
|
|
Some(res)
|
|
|
|
}
|
|
|
|
pub fn skip(&self, len: usize) -> PathSegments<'a> {
|
2023-02-14 15:47:01 +00:00
|
|
|
PathSegments {
|
|
|
|
segments: &self.segments.get(len..).unwrap_or(&[]),
|
|
|
|
generic_args: self.generic_args.and_then(|it| it.get(len..)),
|
|
|
|
}
|
2019-12-13 11:12:36 +00:00
|
|
|
}
|
|
|
|
pub fn take(&self, len: usize) -> PathSegments<'a> {
|
2023-02-14 15:47:01 +00:00
|
|
|
PathSegments {
|
|
|
|
segments: &self.segments.get(..len).unwrap_or(&self.segments),
|
|
|
|
generic_args: self.generic_args.map(|it| it.get(..len).unwrap_or(it)),
|
|
|
|
}
|
2019-12-13 11:12:36 +00:00
|
|
|
}
|
|
|
|
pub fn iter(&self) -> impl Iterator<Item = PathSegment<'a>> {
|
2023-02-14 15:47:01 +00:00
|
|
|
self.segments
|
|
|
|
.iter()
|
|
|
|
.zip(self.generic_args.into_iter().flatten().chain(iter::repeat(&None)))
|
|
|
|
.map(|(name, args)| PathSegment { name, args_and_bindings: args.as_deref() })
|
2019-10-30 13:12:55 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl GenericArgs {
|
2022-07-20 13:06:15 +00:00
|
|
|
pub(crate) fn from_ast(
|
|
|
|
lower_ctx: &LowerCtx<'_>,
|
|
|
|
node: ast::GenericArgList,
|
|
|
|
) -> Option<GenericArgs> {
|
2020-04-30 10:20:13 +00:00
|
|
|
lower::lower_generic_args(lower_ctx, node)
|
2019-10-30 13:12:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn empty() -> GenericArgs {
|
2021-11-19 18:58:00 +00:00
|
|
|
GenericArgs {
|
|
|
|
args: Vec::new(),
|
|
|
|
has_self_type: false,
|
|
|
|
bindings: Vec::new(),
|
|
|
|
desugared_from_fn: false,
|
|
|
|
}
|
2019-10-30 13:12:55 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl From<Name> for Path {
|
|
|
|
fn from(name: Name) -> Path {
|
2019-12-13 11:12:36 +00:00
|
|
|
Path {
|
2019-12-18 16:41:33 +00:00
|
|
|
type_anchor: None,
|
2021-04-01 18:35:21 +00:00
|
|
|
mod_path: Interned::new(ModPath::from_segments(PathKind::Plain, iter::once(name))),
|
2023-02-14 15:47:01 +00:00
|
|
|
generic_args: None,
|
2019-12-13 11:12:36 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-30 21:55:18 +00:00
|
|
|
impl From<Name> for Box<Path> {
|
|
|
|
fn from(name: Name) -> Box<Path> {
|
|
|
|
Box::new(Path::from(name))
|
|
|
|
}
|
|
|
|
}
|