feat: apply type parameter substitutions of receiver type for member accesses

packages/safe-ds-lang/src/language/typing/model.ts

@@ -434,7 +434,15 @@ export class TypeParameterType extends NamedType<SdsTypeParameter> {
     }
 
     override substituteTypeParameters(substitutions: TypeParameterSubstitutions): Type {
-        return substitutions.get(this.declaration) ?? this;
+        const substitution = substitutions.get(this.declaration);
+
+        if (!substitution) {
+            return this;
+        } else if (this.isNullable) {
+            return substitution.updateNullability(true);
+        } else {
+            return substitution;
+        }
     }
 
     override updateNullability(isNullable: boolean): TypeParameterType {

packages/safe-ds-lang/src/language/typing/safe-ds-type-computer.ts

@@ -507,7 +507,16 @@ export class SafeDsTypeComputer {
         }
 
         const receiverType = this.computeType(node.receiver);
-        return memberType.updateNullability((receiverType.isNullable && node.isNullSafe) || memberType.isNullable);
+        const unsubstitutedResult = memberType.updateNullability(
+            (receiverType.isNullable && node.isNullSafe) || memberType.isNullable,
+        );
+
+        // Substitute type parameters
+        if (receiverType instanceof ClassType) {
+            return unsubstitutedResult.substituteTypeParameters(receiverType.substitutions);
+        } else {
+            return unsubstitutedResult;
+        }
     }
 
     private computeTypeOfArithmeticPrefixOperation(node: SdsPrefixOperation): Type {

packages/safe-ds-lang/tests/language/typing/model.test.ts

@@ -291,6 +291,11 @@ describe('type model', async () => {
             substitutions: substitutions1,
             expectedType: new LiteralType(new IntConstant(1n)),
         },
+        {
+            type: new TypeParameterType(typeParameter1, true),
+            substitutions: substitutions1,
+            expectedType: new LiteralType(new IntConstant(1n), NullConstant),
+        },
         {
             type: new TypeParameterType(typeParameter2, false),
             substitutions: substitutions1,

packages/safe-ds-lang/tests/resources/typing/expressions/member accesses/on class with type parameters/main.sdstest

@@ -0,0 +1,40 @@
+package tests.typing.expressions.memberAccesses.onClassWithTypeParameters
+
+class C<T> {
+    attr nonNullableMember: T
+    attr nullableMember: T?
+    @Pure fun method() -> r: T
+}
+
+@Pure fun nullableC() -> result: C<Int>?
+
+segment mySegment(p: C<Int>) {
+    // $TEST$ serialization Int
+    »p.nonNullableMember«;
+    // $TEST$ serialization Int?
+    »p.nullableMember«;
+    // $TEST$ serialization () -> (r: Int)
+    »p.method«;
+
+    // $TEST$ serialization Int
+    »p?.nonNullableMember«;
+    // $TEST$ serialization Int?
+    »p?.nullableMember«;
+    // $TEST$ serialization () -> (r: Int)
+    »p?.method«;
+
+
+    // $TEST$ serialization Int
+    »nullableC().nonNullableMember«;
+    // $TEST$ serialization Int?
+    »nullableC().nullableMember«;
+    // $TEST$ serialization () -> (r: Int)
+    »nullableC().method«;
+
+    // $TEST$ serialization Int?
+    »nullableC()?.nonNullableMember«;
+    // $TEST$ serialization Int?
+    »nullableC()?.nullableMember«;
+    // $TEST$ serialization union<() -> (r: Int), literal<null>>
+    »nullableC()?.method«;
+}

packages/safe-ds-lang/tests/resources/typing/expressions/member accesses/to other/main.sdstest

@@ -6,6 +6,9 @@ class C() {
 
     // $TEST$ equivalence_class nullableMember
     attr »nullableMember«: Any?
+
+    // $TEST$ equivalence_class method
+    @Pure fun »method«() -> r: Int
 }
 
 fun nullableC() -> result: C?
@@ -15,20 +18,28 @@ pipeline myPipeline {
     »C().nonNullableMember«;
     // $TEST$ equivalence_class nullableMember
     »C().nullableMember«;
+    // $TEST$ equivalence_class method
+    »C().method«;
 
     // $TEST$ equivalence_class nonNullableMember
     »C()?.nonNullableMember«;
     // $TEST$ equivalence_class nullableMember
     »C()?.nullableMember«;
+    // $TEST$ equivalence_class method
+    »C()?.method«;
 
 
     // $TEST$ equivalence_class nonNullableMember
     »nullableC().nonNullableMember«;
     // $TEST$ equivalence_class nullableMember
     »nullableC().nullableMember«;
+    // $TEST$ equivalence_class method
+    »nullableC().method«;
 
     // $TEST$ serialization Int?
     »nullableC()?.nonNullableMember«;
     // $TEST$ equivalence_class nullableMember
     »nullableC()?.nullableMember«;
+    // $TEST$ serialization union<() -> (r: Int), literal<null>>
+    »nullableC()?.method«;
 }