https://issues.dlang.org/show_bug.cgi?id=13688
Issue ID: 13688 Summary: 'in' expression for AA not detected as GC usage Product: D Version: D2 Hardware: All OS: All Status: NEW Keywords: accepts-invalid Severity: normal Priority: P1 Component: DMD Assignee: nob...@puremagic.com Reporter: sinkuup...@gmail.com 'in' expression for AA calls KeyType.toHash/opEquals if exist, but not detected as GC usage even if these functions are not @nogc. Example: (In this case, compiler should require that toHash/opEquals are @nogc.) struct KeyType { int x; size_t toHash() const @safe nothrow { return x; } bool opEquals(in KeyType r) const { return x == r.x; } } ulong func(ulong[KeyType] aa) @nogc { if (auto p = KeyType(10) in aa) // can call KeyType.toHash/opEquals return *p; return aa.length; } --