overriding with a more specific type does this too
# language-proposals
m
overriding with a more specific type does this too