HomePhabricator

[Concepts] Constrained partial specializations and function overloads.

Authored by saar.raz on Dec 21 2019, 11:35 PM.

Description

[Concepts] Constrained partial specializations and function overloads.

Added support for constraint satisfaction checking and partial ordering of constraints in constrained partial specialization and function template overloads.
Re-commit after fixing some crashes and warnings.

Differential Revision: https://reviews.llvm.org/D41910