diff options
| author | Pierre-Marie Pédrot | 2020-09-30 14:00:11 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-09-30 14:00:11 +0200 |
| commit | c63f7c8407ae151e61e5490803bb19169ad37a5c (patch) | |
| tree | 471a0c5d5f9fce14598e84fdf235637314862fce /dev/include | |
| parent | 2c802aaf74c83274ae922c59081c01bfc267d31b (diff) | |
| parent | 772aa6bd5659d466b92ea33c997012414b0f946c (diff) | |
Merge PR #13032: More precise information when unification fails because of incompatible candidates
Reviewed-by: ppedrot
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions