Yeah, this feels like there should at least be a warning here. I only noticed this because I looked up the declarations of Supplier and Callable. If I hadn’t seen that Callable uses a different name for the type parameter I don’t think I would have found this.
I created an issue for this here: https://youtrack.jetbrains.com/issue/KT-34856?project=kt