...dip1000:

```
struct Bar
{
    int[] arr;

    @safe Wrapper dummy() {
        Wrapper wrapper = { bar: &this };
        return wrapper;
    }
}

struct...

...access, and mark dummy @trusted:

```
struct Bar
{
    int[] somePointerToRestrictThis;

    @trusted Wrapper dummy() return scope {
        Wrapper...

...code?

---
struct Bar
{
    int[] somePointerToRestrictThis;

    @safe Wrapper dummy() return scope {
        Wrapper wrapper = { bar: &this };
        return...

...x;
    @safe void dummy() {}
}

@safe
void main()
{
    scope bar = Bar();
    bar.dummy; // ok
}
```

onlineapp.d...

...DIP1000
---
struct Bar
{
        @safe void dummy() {}
}

@safe
void main()
{
    scope bar = Bar();
    bar.dummy; // ok
}

---

--

...bar = new Bar;
    (*bar).dummy; // dereference strips away the scope layer
}
```
`dummy` can't escape...

...dummy() {}
}

class Foo
{
    @safe void dummy() {}
}

@safe
void main()
{
    scope bar = new Bar;
    bar.dummy...

...keyword is optional in that place:

struct Dummy
{
// ...

  this(int memberInt, string memberStr) nothrow
  in...

...dummy;

    /// Test [cg.math.dummy.dummy.Dummy.doStuff()]
    unittest
    {
        Dummy instance = Dummy(4, "A dummy...

...static if (isArray!VecPoint){
        VecPoint dummy;
        alias Point = typeof(dummy[0]);
    } else static if (isRandomAccessRange...