Skip to content

Vector impls don't work well with explicit self #4132

Closed
@brson

Description

@brson

This doesn't work because method.rs needs to do 2 auto refs. Can't convert BaseIter to explicit self without.

// Testing that method lookup automatically both borrows vectors to slices
// and also references them to create the &self pointer

trait MyIter {
    pure fn test_imm(&self);
    pure fn test_const(&const self);
}

impl &[int]: MyIter {
    pure fn test_imm(&self) { assert self[0] == 1 }
    pure fn test_const(&const self) { assert self[0] == 1 }
}

impl &str: MyIter {
    pure fn test_imm(&self) { assert *self == "test" }
    pure fn test_const(&const self) { assert *self == "test" }
}

fn main() {
    // NB: Associativity of ~, etc. in this context is surprising. These must be parenthesized

    ([1]).test_imm();
    (~[1]).test_imm();
    (@[1]).test_imm();
    (&[1]).test_imm();
    ("test").test_imm();
    (~"test").test_imm();
    (@"test").test_imm();
    (&"test").test_imm();

    ([1]).test_const();
    (~[1]).test_const();
    (@[1]).test_const();
    (&[1]).test_const();
    ("test").test_const();
    (~"test").test_const();
    (@"test").test_const();
    (&"test").test_const();

    // NB: We don't do this double autoreffing for &mut self because that would
    // allow creating a mutable pointer to a temporary, which would be a source
    // of confusion
}

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions