Fix summary detection of cycles via redirect/super arguments.

pkg/analyzer/test/src/summary/summary_common.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library analyzer.test.src.summary.summary_common;
 
 import 'package:analyzer/analyzer.dart';
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/src/dart/scanner/reader.dart';
@@ skipping 4208 matching lines @@
   const C() : this.named();
   const C.named() : super.named();
 }
 ''');
     checkConstCycle('B', hasCycle: false);
     checkConstCycle('B', name: 'named', hasCycle: false);
     checkConstCycle('C', hasCycle: false);
     checkConstCycle('C', name: 'named', hasCycle: false);
   }
 
+  test_constructorCycle_viaRedirectArgument() {
+    serializeLibraryText(
+        '''
+class C {
+  final x;
+  const C() : this.named(y);
+  const C.named(this.x);
+}
+const y = const C();
+''',
+        allowErrors: true);
+    checkConstCycle('C');
+    checkConstCycle('C', name: 'named', hasCycle: false);
+  }
+
   test_constructorCycle_viaStaticField_inOtherClass() {
     serializeLibraryText(
         '''
 class C {
   final x;
   const C() : x = D.y;
 }
 class D {
   static const y = const C();
 }
 ''',
         allowErrors: true);
     checkConstCycle('C');
   }
 
   test_constructorCycle_viaStaticField_inSameClass() {
     serializeLibraryText(
         '''
 class C {
   final x;
   static const y = const C();
   const C() : x = y;
 }
 ''',
         allowErrors: true);
     checkConstCycle('C');
   }
 
+  test_constructorCycle_viaSuperArgument() {
+    serializeLibraryText(
+        '''
+class B {
+  final x;
+  const B(this.x);
+}
+class C extends B {
+  const C() : super(y);
+}
+const y = const C();
+''',
+        allowErrors: true);
+    checkConstCycle('B', hasCycle: false);
+    checkConstCycle('C');
+  }
+
   test_constructorCycle_viaSupertype() {
     serializeLibraryText('''
 class C {
   final x;
   const C() : x = const D();
 }
 class D extends C {
   const D();
 }
 ''');
@@ skipping 3962 matching lines @@
 class _PrefixExpectation {
   final ReferenceKind kind;
   final String name;
   final String absoluteUri;
   final String relativeUri;
   final int numTypeParameters;
 
   _PrefixExpectation(this.kind, this.name,
       {this.absoluteUri, this.relativeUri, this.numTypeParameters: 0});
 }