struct Bar:
  fn __init__(out self):
    pass


struct Foo:
  var bar: Bar
  fn __init__(out self):
    self.bar = Bar()

  fn get(self) -> ref[self.bar] Bar:
    return self.bar


fn main() raises -> None:
  foo = Foo()
  bazz = foo.get()

struct Bar:
  fn __init__(out self):
    pass


struct Foo:
  var bar: Bar
  fn __init__(out self):
    self.bar = Bar()

  fn get(self) -> ref[self.bar] Bar:
    return self.bar


fn main() raises -> None:
  foo = Foo()
  bazz = foo.get()

struct Bar:
  fn __init__(out self):
    pass

struct Foo:
  var bar: Bar
  fn __init__(out self):
    self.bar = Bar()

fn main() raises -> None:
  foo = Foo()
  bazz = foo.bar

struct Bar:
  fn __init__(out self):
    pass

struct Foo:
  var bar: Bar
  fn __init__(out self):
    self.bar = Bar()

fn main() raises -> None:
  foo = Foo()
  bazz = foo.bar

/mojo_proj/source/prog.mojo:13:13: error: 'Bar' is not copyable because it has no '__copyinit__'
  bazz = foo.bar
         ~~~^~~~
mojo: error: failed to parse the provided Mojo source module

/mojo_proj/source/prog.mojo:13:13: error: 'Bar' is not copyable because it has no '__copyinit__'
  bazz = foo.bar
         ~~~^~~~
mojo: error: failed to parse the provided Mojo source module

@value
struct MyInt:
  var value: Int
  fn __copyinit__(out self, other: Self):
    print("Copy")
    self.value = other.value



struct MyList:
    var list: List[MyInt]
    
    fn __init__(out self):
        self.list = List[MyInt]()
    
    fn __getitem__(self, index: Int) -> ref[self.list] MyInt:
        return self.list[index]
    
    fn append(mut self, value: MyInt) -> None:
        self.list.append(value)
    
    fn do_stuff(mut self, index: Int) -> None:
        self.list[index].value = 1

fn main() raises -> None:
    var mylist = MyList()
    mylist.append(MyInt(0))
    print("Will this copy?")
    var q1 = mylist[0]
    print(q1.value)
    mylist.do_stuff(0)
    print(q1.value)
    print(mylist[0].value)

@value
struct MyInt:
  var value: Int
  fn __copyinit__(out self, other: Self):
    print("Copy")
    self.value = other.value



struct MyList:
    var list: List[MyInt]
    
    fn __init__(out self):
        self.list = List[MyInt]()
    
    fn __getitem__(self, index: Int) -> ref[self.list] MyInt:
        return self.list[index]
    
    fn append(mut self, value: MyInt) -> None:
        self.list.append(value)
    
    fn do_stuff(mut self, index: Int) -> None:
        self.list[index].value = 1

fn main() raises -> None:
    var mylist = MyList()
    mylist.append(MyInt(0))
    print("Will this copy?")
    var q1 = mylist[0]
    print(q1.value)
    mylist.do_stuff(0)
    print(q1.value)
    print(mylist[0].value)