<?php declare(strict_types=1);
/*
* This file is part of sebastian/type.
*
* (c) Sebastian Bergmann <[email protected]>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace SebastianBergmann\Type;
final class NeverType extends Type
{
public function isAssignable(Type $other): bool
{
return $other instanceof self;
}
public function name(): string
{
return 'never';
}
public function allowsNull(): bool
{
return false;
}
/**
* @psalm-assert-if-true NeverType $this
*/
public function isNever(): bool
{
return true;
}
}