commit 0cbce074ac721162cab5bfa0a7409e9d4a23e5af
author Peter von der Ahé <ahe@google.com> Wed Mar 13 06:46:21 2019 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> Wed Mar 13 06:46:21 2019 +0000
tree 6798ec749fe4be7a86e7a7813599d94b803ac206
parent b990c503c84ab622b60c27da529cc4ea6155e2fa

Add toString to Substitution

Change-Id: I7fb82f781aeafb4ef4a037c405a7201e9b52ba1a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/96651
Reviewed-by: Aske Simon Christensen <askesc@google.com>

pkg/kernel/lib/type_algebra.dart

diff --git a/pkg/kernel/lib/type_algebra.dart b/pkg/kernel/lib/type_algebra.dart
index 094bd2f..a8d41d4 100644
--- a/pkg/kernel/lib/type_algebra.dart
+++ b/pkg/kernel/lib/type_algebra.dart
@@ -275,6 +275,9 @@
 
   @override
   Supertype substituteSupertype(Supertype node) => node;
+
+  @override
+  String toString() => "Substitution.empty";
 }
 
 class _MapSubstitution extends Substitution {
@@ -286,6 +289,9 @@
   DartType getSubstitute(TypeParameter parameter, bool upperBound) {
     return upperBound ? upper[parameter] : lower[parameter];
   }
+
+  @override
+  String toString() => "_MapSubstitution($upper, $lower)";
 }
 
 class _TopSubstitutor extends _TypeSubstitutor {