mirror of
https://github.com/dlang/dmd.git
synced 2025-04-26 05:00:16 +03:00
9777994665
* Infer template this parameter when calling static method on instance Part of Issue 10488 - Allow template this parameter with static functions. * Apply suggestions from code review Co-authored-by: Dennis <dkorpel@users.noreply.github.com> Co-authored-by: Dennis <dkorpel@users.noreply.github.com>
45 lines
997 B
D
45 lines
997 B
D
mixin template Constructors(){
|
|
this(){ }
|
|
this()immutable{ }
|
|
this()shared{ }
|
|
}
|
|
|
|
class A {
|
|
public:
|
|
static T getInstance(this T)() {
|
|
return new T();
|
|
}
|
|
private:
|
|
mixin Constructors;
|
|
}
|
|
|
|
class B : A {
|
|
private:
|
|
mixin Constructors;
|
|
}
|
|
|
|
void f(){
|
|
auto a = (new A).getInstance;
|
|
auto b = (new B).getInstance;
|
|
static assert(is(typeof(a) == A));
|
|
static assert(is(typeof(b) == B));
|
|
|
|
auto ca = (new immutable A).getInstance;
|
|
auto sb = (new shared B).getInstance;
|
|
static assert(is(typeof(ca) == immutable A));
|
|
static assert(is(typeof(sb) == shared B));
|
|
}
|
|
|
|
// https://issues.dlang.org/show_bug.cgi?id=10488
|
|
version(none)
|
|
void g(){
|
|
auto a = A.getInstance();
|
|
auto b = B.getInstance();
|
|
static assert(is(typeof(a)==A));
|
|
static assert(is(typeof(b)==B));
|
|
|
|
auto ai = (immutable(A)).getInstance();
|
|
auto bs = (shared(B)).getInstance();
|
|
static assert(is(typeof(ai)==immutable(A)));
|
|
static assert(is(typeof(bs)==shared(B)));
|
|
}
|