template<
    typename Property>
trampoline< decay_t< require_result_t< const Executor &, Property > >, Blocking, InlineExceptionHandling > require(
    const Property & p,
    constraint_t< can_require< const Executor &, Property >::value > ,
    constraint_t<!is_convertible< Property, execution::blocking_t >::value > ,
    constraint_t< !is_convertible< Property, execution::relationship_t >::value > ,
    constraint_t< !is_convertible< Property, execution::inline_exception_handling_t >::value > ) const;