Ссылается ли на экземпляр производного класса переменная родительского типа в приведенном коде

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
 
namespace ConsoleApplication21
{
    class Program
    {
        public class b
        {
            public b() {}
            public b(b b_) { }
        }
 
        public class p:b
        {
            public p() { }
            
       //Вот тут , конструктор ожидает ссылку на базовый класс, 
       //а мы передаём ему ссылку на производный класс
        public p(p p_):base(p_) { }
        }
        
        static void Main(string[] args)
        {
            b b_0 = new b(   );
            b b_1 = new b(b_0);
 
            //++++++++++++++++++++++++++++++++++
 
            p p_0 = new p();
            p p_1 = new p(p_0);
        }
    }
}

p p_ = new p(); // Эта ссылка передается в конструктор класса p
b b_ = p_; // А это происходит при вызове base(p_)

void Foo(object obj) {}
void Main()
{
   string str = "Hello world";
   Foo(str); // OK
}

object obj= new string ();