@@ -749,7 +749,8 @@ fn do_autoderef(fcx: @fn_ctxt, sp: span, t: ty::t) -> ty::t {
749
749
750
750
// Some extra checks to detect weird cycles and so forth:
751
751
match sty {
752
- ty:: ty_box( inner) | ty:: ty_uniq( inner) | ty:: ty_rptr( _, inner) => {
752
+ ty:: ty_box( inner) | ty:: ty_uniq( inner) |
753
+ ty:: ty_rptr( _, inner) => {
753
754
match ty:: get ( t1) . struct {
754
755
ty:: ty_infer( ty:: TyVar ( v1) ) => {
755
756
ty:: occurs_check ( fcx. ccx . tcx , sp, v1,
@@ -759,11 +760,12 @@ fn do_autoderef(fcx: @fn_ctxt, sp: span, t: ty::t) -> ty::t {
759
760
}
760
761
}
761
762
ty:: ty_enum( did, _) => {
762
- // Watch out for a type like `enum t = @t`. Such a type would
763
- // otherwise infinitely auto-deref. This is the only autoderef
764
- // loop that needs to be concerned with this, as an error will be
765
- // reported on the enum definition as well because the enum is not
766
- // instantiable.
763
+ // Watch out for a type like `enum t = @t`. Such a
764
+ // type would otherwise infinitely auto-deref. This
765
+ // is the only autoderef loop that needs to be
766
+ // concerned with this, as an error will be reported
767
+ // on the enum definition as well because the enum is
768
+ // not instantiable.
767
769
if vec:: contains ( enum_dids, did) {
768
770
return t1;
769
771
}
0 commit comments