Swift 5 compiler automatic associatedtype resolution does not work

import UIKit

public protocol SuperProtocol {
    
    associatedtype ViewController: UIViewController
    
    associatedtype Context
    
    func doTest(with context: Context) -> ViewController?
    
}

public protocol NestedProtocol: SuperProtocol {
    
    associatedtype ViewController
    
    associatedtype Context
    
    func checkTest(_ viewController: ViewController, with context: Context) -> Bool
    
}

public extension NestedProtocol {
    
    func doTest(with context: Context) -> ViewController? {
        return nil
    }
    
}

// Compilation error:
// Type 'ProtocolImplementation' does not conform to protocol 'SuperProtocol'
// Type 'ProtocolImplementation' does not conform to protocol 'NestedProtocol'
class ProtocolImplementation: NestedProtocol {

//  In swift 5 / 4.2 compability mode this will compile only if you uncomment this typealiases    
//    typealias ViewController = TestViewController
//
//    typealias Context = String
    
    func checkTest(_ viewController: TestViewController, with context: String) -> Bool {
        return true
    }
    
}


class TestViewController: UIViewController {
    
}

// Compilation error:
// Cannot convert value of type 'String' to expected argument type 'ProtocolImplementation.Context'
let vc = ProtocolImplementation().doTest(with: "23")