test_name 	 capability-target-support
test_description Capabilities should be checked for inclusion: one target cannot depend on another target with less capabilities. See also test#config040, test#config044.

copy_raw	test.e $CLUSTER test.e

-- Parent void safety: conformance
define	LIBRARY_VOID_SAFETY conformance

define	VOID_SAFETY conformance
define	USE_VOID_SAFETY $LIBRARY_VOID_SAFETY
copy_sub	Ace $TEST Ace

compile_melted
compile_result	ok

define	VOID_SAFETY initialization
copy_sub	Ace $TEST Ace

compile_melted
compile_result	validity_warning NONE VD01

define	VOID_SAFETY transitional
copy_sub	Ace $TEST Ace

compile_melted
compile_result	validity_warning NONE VD01

define	VOID_SAFETY all
copy_sub	Ace $TEST Ace

compile_melted
compile_result	validity_warning NONE VD01

-- Parent void safety: all
define	LIBRARY_VOID_SAFETY all

define	VOID_SAFETY conformance
copy_sub	Ace $TEST Ace

compile_melted
compile_result	ok

define	VOID_SAFETY initialization
copy_sub	Ace $TEST Ace

compile_melted
compile_result	ok

define	VOID_SAFETY transitional
copy_sub	Ace $TEST Ace

compile_melted
compile_result	ok

define	VOID_SAFETY all
copy_sub	Ace $TEST Ace

compile_melted
compile_result	ok

test_end