mun_hir 0.4.0

Provides high-level intermediate representation of Mun code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use crate::resolve::ValueNs;
use crate::{ty::infer::InferenceResultBuilder, Expr, ExprId, Path, Resolver};

impl<'a> InferenceResultBuilder<'a> {
    /// Checks if the specified expression is a place-expression. A place expression represents a
    /// memory location.
    pub(super) fn check_place_expression(&mut self, resolver: &Resolver, expr: ExprId) -> bool {
        match &self.body[expr] {
            Expr::Path(p) => self.check_place_path(resolver, p),
            Expr::Index { base, .. } => self.check_place_expression(resolver, *base),
            Expr::Field { .. } | Expr::Array(_) => true,
            _ => false,
        }
    }

    /// Checks if the specified path references a memory location.
    fn check_place_path(&mut self, resolver: &Resolver, path: &Path) -> bool {
        match resolver.resolve_path_as_value_fully(self.db.upcast(), path) {
            Some((ValueNs::LocalBinding(_), _)) => true,
            Some((ValueNs::FunctionId(_), _)) | Some((ValueNs::StructId(_), _)) | None => false,
        }
    }
}