Skip to content

Commit c9a340e

Browse files
committed
Remove expr_ty method completely
1 parent 7c8f545 commit c9a340e

File tree

2 files changed

+4
-17
lines changed

2 files changed

+4
-17
lines changed

src/librustc_typeck/check/method/confirm.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -472,7 +472,7 @@ impl<'a, 'gcx, 'tcx> ConfirmContext<'a, 'gcx, 'tcx> {
472472
i, expr, autoderef_count);
473473

474474
if autoderef_count > 0 {
475-
let mut autoderef = self.autoderef(expr.span, self.expr_ty(expr));
475+
let mut autoderef = self.autoderef(expr.span, self.node_ty(expr.id));
476476
autoderef.nth(autoderef_count).unwrap_or_else(|| {
477477
span_bug!(expr.span, "expr was deref-able {} times but now isn't?",
478478
autoderef_count);
@@ -532,7 +532,7 @@ impl<'a, 'gcx, 'tcx> ConfirmContext<'a, 'gcx, 'tcx> {
532532
unsize: None
533533
}))), false)
534534
};
535-
let index_expr_ty = self.expr_ty(&index_expr);
535+
let index_expr_ty = self.node_ty(index_expr.id);
536536

537537
let result = self.try_index_step(
538538
ty::MethodCall::expr(expr.id),
@@ -547,7 +547,7 @@ impl<'a, 'gcx, 'tcx> ConfirmContext<'a, 'gcx, 'tcx> {
547547
if let Some((input_ty, return_ty)) = result {
548548
self.demand_suptype(index_expr.span, input_ty, index_expr_ty);
549549

550-
let expr_ty = self.expr_ty(&expr);
550+
let expr_ty = self.node_ty(expr.id);
551551
self.demand_suptype(expr.span, expr_ty, return_ty);
552552
}
553553
}
@@ -558,7 +558,7 @@ impl<'a, 'gcx, 'tcx> ConfirmContext<'a, 'gcx, 'tcx> {
558558
if self.tables.borrow().method_map.contains_key(&method_call) {
559559
let method = self.try_overloaded_deref(expr.span,
560560
Some(&base_expr),
561-
self.expr_ty(&base_expr),
561+
self.node_ty(base_expr.id),
562562
PreferMutLvalue);
563563
let method = method.expect("re-trying deref failed");
564564
self.tables.borrow_mut().method_map.insert(method_call, method);

src/librustc_typeck/check/mod.rs

-13
Original file line numberDiff line numberDiff line change
@@ -1763,19 +1763,6 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
17631763
t
17641764
}
17651765

1766-
pub fn expr_ty(&self, ex: &hir::Expr) -> Ty<'tcx> {
1767-
if let Some(&adjustment::AdjustNeverToAny(ref t))
1768-
= self.tables.borrow().adjustments.get(&ex.id) {
1769-
return t;
1770-
}
1771-
match self.tables.borrow().node_types.get(&ex.id) {
1772-
Some(&t) => t,
1773-
None => {
1774-
bug!("no type for expr in fcx {}", self.tag());
1775-
}
1776-
}
1777-
}
1778-
17791766
/// Apply `adjustment` to the type of `expr`
17801767
pub fn adjust_expr_ty(&self,
17811768
expr: &hir::Expr,

0 commit comments

Comments
 (0)