types method
Make generic type tree.
Implementation
String types(DartType k, {Map<String, String>? refers}) {
return visit(k, (x) {
if (x is VoidType) {
return 'dynamic';
}
if (x is TypeParameterType) {
return refers?[x.element.displayName] ?? 'dynamic';
}
return x.element?.displayName ?? 'dynamic';
}, (x, xs) {
return 'Types($x, [${xs.join(', ')}], ()=>${constructor(k, refers: refers)})';
});
}