Skip to content

Commit f6a0a30

Browse files
nikomatsakiseddyb
authored andcommitted
---
yaml --- r: 149927 b: refs/heads/try2 c: 01a15d5 h: refs/heads/master i: 149925: db699b1 149923: 82b0878 149919: aa8ead9 v: v3
1 parent 482c9d2 commit f6a0a30

File tree

2 files changed

+12
-13
lines changed

2 files changed

+12
-13
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ refs/heads/snap-stage3: 78a7676898d9f80ab540c6df5d4c9ce35bb50463
55
refs/heads/try: 519addf6277dbafccbb4159db4b710c37eaa2ec5
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
77
refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
8-
refs/heads/try2: a7db0d5d30adbaec2b4ec6e009a0bf9c7850f9be
8+
refs/heads/try2: 01a15d5870169636cec50a1f9d98bc967472a680
99
refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
1010
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
1111
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try2/src/librustc/middle/typeck/check/regionck.rs

Lines changed: 11 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -509,8 +509,8 @@ fn visit_expr(rcx: &mut Rcx, expr: &ast::Expr) {
509509
};
510510
match ty::get(base_ty).sty {
511511
ty::ty_rptr(r_ptr, _) => {
512-
mk_subregion_due_to_derefence(rcx, expr.span,
513-
ty::ReScope(expr.id), r_ptr);
512+
mk_subregion_due_to_dereference(rcx, expr.span,
513+
ty::ReScope(expr.id), r_ptr);
514514
}
515515
_ => {}
516516
}
@@ -843,10 +843,9 @@ fn constrain_autoderefs(rcx: &mut Rcx,
843843
derefs: uint,
844844
mut derefd_ty: ty::t) {
845845
/*!
846-
* Invoked on any dereference that occurs, whether explicitly
847-
* or through an auto-deref. Checks that if this is a region
848-
* pointer being derefenced, the lifetime of the pointer includes
849-
* the deref expr.
846+
* Invoked on any auto-dereference that occurs. Checks that if
847+
* this is a region pointer being dereferenced, the lifetime of
848+
* the pointer includes the deref expr.
850849
*/
851850
let r_deref_expr = ty::ReScope(deref_expr.id);
852851
for i in range(0u, derefs) {
@@ -887,8 +886,8 @@ fn constrain_autoderefs(rcx: &mut Rcx,
887886

888887
match ty::get(derefd_ty).sty {
889888
ty::ty_rptr(r_ptr, _) => {
890-
mk_subregion_due_to_derefence(rcx, deref_expr.span,
891-
r_deref_expr, r_ptr);
889+
mk_subregion_due_to_dereference(rcx, deref_expr.span,
890+
r_deref_expr, r_ptr);
892891
}
893892
_ => {}
894893
}
@@ -902,10 +901,10 @@ fn constrain_autoderefs(rcx: &mut Rcx,
902901
}
903902
}
904903

905-
pub fn mk_subregion_due_to_derefence(rcx: &mut Rcx,
906-
deref_span: Span,
907-
minimum_lifetime: ty::Region,
908-
maximum_lifetime: ty::Region) {
904+
pub fn mk_subregion_due_to_dereference(rcx: &mut Rcx,
905+
deref_span: Span,
906+
minimum_lifetime: ty::Region,
907+
maximum_lifetime: ty::Region) {
909908
rcx.fcx.mk_subr(true, infer::DerefPointer(deref_span),
910909
minimum_lifetime, maximum_lifetime)
911910
}

0 commit comments

Comments
 (0)