===description===
Abstract class instantiation
===file===
<?php
abstract class AbstractService {
    abstract public function run();
}

/**
 * @param class-string<AbstractService> $serviceName
 */
function createService($serviceName) {
    return new $serviceName();
}

// SHOULD emit AbstractInstantiation because AbstractService is abstract
createService(AbstractService::class);
===expect===
AbstractInstantiation@10:16-10:28: Cannot instantiate abstract class AbstractService
