Mocking final classes with Mockery

Code
<?php

use PHPUnit\Framework\TestCase;

/**
 * final class that should be a mock in a test
 */
final class Foo
{
    public function 
bar()
    {
        return 
5;
    }
}

class 
FinalTest extends TestCase
{
    
/**
     * final class Foo is mocked
     */
    
public function testFinalClassMock()
    {
        
$foo = new Foo();
        
$mock Mockery::mock($foo);
        
$mock->shouldReceive('bar')
            ->
andReturn(1);
        
        
$this->assertEquals(1$mock->bar());
    }
    
    
/**
     * asserts that mock is NOT an instance of Foo
     */
    
public function testFinalMockExtend()
    {
        
$foo = new Foo();
        
$mock Mockery::mock($foo);
        
        
// Mock doesn't extend Foo
        
$this->assertNotInstanceOf(Foo::CLASS, $mock);
    }
    
    protected function 
tearDown()
    {
        
Mockery::close();
    }
}
Result
Time: 123 ms, Memory: 4.00MB

OK (2 tests, 0 assertions)
Used Versions
PHP 7.2, Zend 3.0, Symfony 4.0, Laravel 5.6, PHPUnit 6.5, Doctrine 2.8