Make error patterns in some kind tests more specific
This commit is contained in:
parent
f7d0c1cec3
commit
14bac217b0
5 changed files with 5 additions and 5 deletions
|
@ -1,4 +1,4 @@
|
||||||
// error-pattern: mismatched kinds
|
// error-pattern: needed shared type, got pinned type block
|
||||||
|
|
||||||
fn lol(f: block()) -> block() { ret f; }
|
fn lol(f: block()) -> block() { ret f; }
|
||||||
fn main() { let i = 8; let f = lol(block () { log_err i; }); f(); }
|
fn main() { let i = 8; let f = lol(block () { log_err i; }); f(); }
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
// error-pattern:mismatched kinds
|
// error-pattern:cannot copy pinned type foo
|
||||||
|
|
||||||
resource foo(i: int) { }
|
resource foo(i: int) { }
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
// error-pattern: mismatched kinds
|
// error-pattern: cannot copy pinned type ~~~{y: r}
|
||||||
|
|
||||||
resource r(i: @mutable int) {
|
resource r(i: @mutable int) {
|
||||||
*i = *i + 1;
|
*i = *i + 1;
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
// error-pattern:mismatched kinds
|
// error-pattern:needed shared type, got pinned type ~r
|
||||||
|
|
||||||
resource r(i: @mutable int) {
|
resource r(i: @mutable int) {
|
||||||
*i += 1;
|
*i += 1;
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
// error-pattern: mismatched kinds
|
// error-pattern: needed shared type, got pinned type ~r
|
||||||
|
|
||||||
resource r(i: @mutable int) {
|
resource r(i: @mutable int) {
|
||||||
*i = *i + 1;
|
*i = *i + 1;
|
||||||
|
|
Loading…
Reference in a new issue