Add test cast for instantiation using type extensions