Concept definition

template<typename Binding>
concept serif::compile_time_checks::surface_boundary::BuildsTemporaryTrace =  requires(std::shared_ptr<const finite_elements::DofSelection> rows)
    {
        finite_elements::make_boundary_trace(rows, std::declval<Binding>());
    }