Fix: Ability to cast a datatype to its trait when overriding functions

Fix: Ability to cast a datatype to its trait when overriding functions #7654