diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-16 22:54:18 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-16 22:54:18 +0000 |
| commit | 77def324548e204d3a36a4e89eb528904c381158 (patch) | |
| tree | 98d6835a2048d96bbe4df0173731df82feee7c21 /tests/cfail/task-not-declared.rs | |
| parent | e1e4c98cb900a1425b583edeb12cd3df7ff34ea1 (diff) | |
| parent | aa7eec02996aca9304187f36d674d5fe898aece6 (diff) | |
Merge #170
170: check task priority at compile time r=TeXitoi a=japaric
before we were checking the priority at runtime. The compile time error message
when the priority is too high is kind of awful though.
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'tests/cfail/task-not-declared.rs')
0 files changed, 0 insertions, 0 deletions