(j3.2006) About extending abstract types with deferred bindings

[Van Snyder]

On Thu, 2016-09-08 at 17:15 +0900, Cohen Malcolm wrote:
> <<<
> Is there a prohibition against invoking an accessible deferred
> procedure 
> binding using an abstract ancestor component of a non-abstract object?
> >>>
> 
> In effect.  The rules prevent instantiating an object of abstract type
> in 
> the first place.

You don't need an object of abstract type to do this.  An ancestor
component of abstract type, of an object of concrete type, is of
abstract type.  The object of concrete type can be instantiated.

type, abstract :: T1
...
contains
  procedure(...), deferred :: P1
end type T1

type, extends(t1) :: T2
...
contains
  procedure(...) :: P1
end type T2

type(t2) :: X

  call x%t1%p1