aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorMartin Fischer <martin@push-f.com>2021-11-19 10:35:56 +0100
committerMartin Fischer <martin@push-f.com>2021-11-19 10:35:56 +0100
commitd8a313dd422c78fb018cfe4249b526fe3e9dc851 (patch)
tree743e20edfd20058b6b784b9099544ff3878d3278 /README.md
parenteb686879fdd7cde5d09837c202ebd25c9c9889a6 (diff)
allow same-named method generics if they have same bounds
Diffstat (limited to 'README.md')
-rw-r--r--README.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/README.md b/README.md
index 332de4f..967738e 100644
--- a/README.md
+++ b/README.md
@@ -117,3 +117,6 @@ trait TraitWithCallback {
Note that since in order to be object-safe methods must not have generics,
dynamize simply moves the generic from the method to the trait definition.
+
+If two method type parameters have the same name, dynamize enforces that they
+also have the same bounds and only adds the parameter once to the trait.