Dear all,
there is an issue, I've found with user defined assignment when using the ifort compiler (version 16.0). Let's have a basic type with user defined assignment (as TBP) and an extending type which does not define its own assignment. When a non-polymorphic instance of the extended type is defined, an assignment to it invokes the user defined assignment of the base type. When I understood the explanations of Malcom Cohen (as response to my nagfor compiler bug report in this matter), this should, however, not happen. So, in the example below, the assignBasic() routine should not be invoked (as it happens in the ifort compiled binary).
module typedef
implicit none
type :: Basic
contains
procedure :: assignBasic
generic :: assignment(=) => assignBasic
end type Basic
type, extends(Basic) :: Extended
end type Extended
contains
subroutine assignBasic(this, other)
class(Basic), intent(out) :: this
type(Basic), intent(in) :: other
print "(A)", "assignBasic invoked"
end subroutine assignBasic
end module typedef
program test
use typedef
implicit none
type(Extended) :: ext
print "(A)", "Non-polymorphic assignment"
ext = Extended()
end program test