.Net Foundation Design Reviews, 10 Jun 2019

Previous Meeting Next Meeting

⏯

youtube image

►

From YouTube: .NET Design Review: Nullable Annotations

Description

More APIs from System.Private.CorLib

A

A

I know their lives and the right screen, hopefully to pretty very fun. Does it's actually the case? You.

B

You like it, you.

C

D

D

A

The first, basically, we just walk the API top to bottom. You can ignore the doof effectively. The DIF just tells you, but we added a question mark, but okay, every time it did not. You don't see it. If everything means it's now non nullable right. So keep that in mind. Super Bass, you have to review. Everything we got is whether that's a different.

E

Is is the diff between one in 300 or between 303 view, 5 and 3 or 4 your sexual life? The.

A

Intended that's before and after malleability, no matter whether that was already in 3 or.

E

So if I want to know when these eighty hours were introduced, I'll just do you guys vixx to look that up. We did not have that silikal.

E

E

So four types like assembly dependency, resolver, where they're brand-new for 300, is there any reason that we can't just mandate that they were turned on all little things.

A

But happy I mean you: can we can decide to put another button on malleable like there's? No breaking change. I mean there are concerns after we ship, but it's not a but oh yeah. We generally okay, with changing of the notations based on castle feedback as.

E

A

E

A

May just be we.

E

Would just be walking in a behavior for all time, but yeah I mean in practice. If we ship a version that never would form small, it would be breaking to make that which I'm not on the future. Yet, yes,.

A

But we basically said like that, if they're otherwise irritation themselves are not that clear-cut okay, so there isn't some sort of value in to editorial aspect to it where we have to the server we weren't there.

A

A

Do you know these api's.

F

You mean the reflection once well.

A

The whole loader a.p eyes right so I suppose null here means it couldn't be resolved.

F

Yeah I mean I, look over the future from Andy I mean I. Look at the code, of course, I'm sure. That's how I was determined right, yeah.

A

I mean like I: the problem is our loader. Has various different policies sometimes arrows indicate about throwing exceptions? I was indicated by returning now, even if they are not now I assume. That means error in this case and they don't over again.

G

This one is it figures out what the past could be and if it exists, it returns. It.

F

I-I-I know a try. I mean it'd be interesting to compare this with.

F

The mid domain assembly- thank you for a second all. These are all new here. Okay, eventually we'll get to.

G

Oh, the returns are guarded with hit files that exist thinks of time. Doesn't it doesn't exist in any other capacity?

G

If certainly that can be changed to throw butt, but someone wrote us yeah.

A

I'm not arguing ships of all the sayings that we have I've seen both I'm just asking what I will ever throw over there always return them, but.

G

He's the only thing.

G

They both agreed that the input cannot know.

G

E

E

E

So it sounds like for the methods that return, potentially knowable objects. Those are just the equivalent to try methods and they return no long failure, that's what we call them. Yeah yeah.

G

We have a question mark here, because the method is nested, / visibly returns null.

F

Yes, yeah when you first asked me that I was thinking of this as metadata load context, which is not so.

H

How can they suddenly be in no assembler context, how's that possible? Maybe the default one, but the default one is the static or now is there a static to fall and I thought we had a steady before one yeah.

E

F

ha I haven't been to all these reviews, but how do we typically determine whether the question was added I mean? Was it it's at all manual or their automated? Oh, that's all.

A

Manual, so that's not usually write the question down if it's not something we can easily check with like for that.

E

Yeah, so the Assembly load contact stock, get load, contacts never returns now as an implementation. Detail you're right at return this default. If the assembly is not associated with one yeah. Oh sorry, there is, there is an exception. If you pass an assembly, that's not a one-time assembly.

E

I

You kids, that make sense.

G

E

Seems like a Tripoli.

G

You pass in an assembly.

E

Building over time, yes,.

F

What, and, and and turning my virtual method re arm is normal I mean do we look at all the implementations of that that was kind of moral thinking with the metadata load context, so.

A

In general, like it's, okay of the base is not the one that your wife, the one says, I'm, not inaudible on the return Vegas, because you can always the arrow, but.

G

We make the base say knowable if any of the derived types that we have in the platform, the terminal yeah.

F

Okay, so somebody did the work and figured this out already manually. Yes,.

G

All of this has been done manually, and some of it is where we say that doesn't make any sense and override whether did not you.

A

All right so I think this one anybody else any feedback on this one. Otherwise, that's it right.

G

And so look at any the ones that say that they don't return null, but all the ones they return it all. Now you see reason.

E

So I think you have gone over this earlier about to spend overrides.

A

I'm not mobile, so, but so we basically said that the base is nullable, because people actually do return now from there, mostly by accident, but they do so if you actually call object to string, you probably want to as humans now. But if you call to sterling a particular derived tribe, which the compiler usually knows because you get T is generally not tied to the object. Okay and most of our overrides.

E

Or markers, not all of them, okay, so, even though this is a non sealed type, we would want to spring to return honorable yeah. Those would consider.

G

That, if once you go into this type, if you derive it, then contract says you should not be returned.

A

D

A

You're ready to go question, so why does note give you now, but the other ones do not see other ones just throw that these organ forms I mean these guys well with all the other ones they were trying in assembly, but they just throw them if you can't resolve them.

A

E

Well, if you're loading it from a stream like you have to do something because it's drink clearly exists sure. So, like we're worst case and we'll say like hey, this cream doesn't have an assembly I.

A

E

A

So these guys are assembly.

E

A

I guess these guys are all like. You already have the data, so clearly it's either vetted or it doesn't what's not right, in which case it would cool this one is a bit weird though I would.

E

That not return now it helps not different than the method directly about.

G

Oh okay, so the the virtual, the default of the virtual protected virtual assembly assembly load, is return null, so any derived type has to provide a behavior. It doesn't do it similarly load context, non-virtual load from assembly name just says: runtime go load. This is something so so one of them is a foofy go figure out what you're supposed to do behavior and the other one. Is it just calls the same way that load in that's it simply? The locum is simply named assembly name just calls assembly down low to some winning so.

A

That means it either succeeds it blows up or.

G

It does exactly what we've said or something above this it.

H

Doesn't go through the protected load, one.

A

That does not make sense to.

C

Me, the protected load is only called.

A

The overmastering name really means low the platform assembly. Man right.

G

Sorry source that that net is concerned, nothing were called that workable.

A

Some of our lights that like it, would only ever call them at times that would never go through any.

G

Other so welcome. Assembly name is just a forwarded to assemble that were having.

C

Is a little bit of magic.

G

Like it, it may understand it's a reflection contacts is, it passes, a stack Martin and then.

A

Seems that company should probably look into it a bit actually I mean it's also, the one time returns, No.

J

Maybe we didn't document it as we try to know what.

E

H

E

Okay, what but I don't think in practice.

E

And do something he will make the run time to it's, that this equipment.

B

A

You all right, I just thought it down, and then we can look at this offline. All right, I think this was gonna, be thing we had.

E

My son in his green assembly loaded wall will throw up on the chechen if you get a.

B

Search context: oh yeah, yeah, yeah sure the universe is calling in.

A

Is what is it one time? I grew up services yeah.

A

A

After the exception that is following the panel very half so that subscribe.

D

She's banished.

E

Notice, that's our baby, a sip.

D

E

Than every other mattress for valuables.

G

Right away, presumably throws.

B

G

It another way.

E

What's a buffer, you, a safe buffer, is a safe handle that also allows you access to unmanage memory, so you can project it as contiguous buffer that you can write to away from. This is a safe handling, manage.

A

Made of buffer effectively yeah.

G

Oh, okay, so with right array.

G

Oh, it says I said we have to be. We have to say that you can pass in an array that already has Knowles in it who just promise. We won't write Knowles, but it says where Tina structured it on to answer this question because.

E

It has to what about.

G

Doesn't say that one.

G

I, do we have array with offset and eraser.

G

Because this is different, this one has real type, is an object and there's more thing.

H

Most of this seems to be like.

H

I, don't think that it! What matters.

E

Whatever beast or rapper, what you actually can pass smells in there and it works.

G

Go class attribute, but we said that and we said that attributes we want them to always say they can accept mold because they can or do we want them. There will be rational. You.

A

Want it to be reasonable, because otherwise I mean that's the only valid ation you ever get, because you basically never ever invoked the attribute I think it was never catch the maghreb and so.

G

The property for Co class attribute it doesn't validate that it doesn't get null which.

H

One are you looking at.

G

Just making sure that the property doesn't need anything declared on it of like this is not known as long as the constructor was observed, we just we promise and if you call it wrong, you get a bad value. Yeah.

A

1, the problem of yeah, the problem of these guys is, you cannot really, if you, if you had cold I, give Co class equals now, so I would not exception. That just means that you can never retrieve instances of the attribute, that's in metadata right, all right, which is generally, why you validation, and that you constructors, is largely useless. The time.

E

You invoke, it is not the time where you want to have the validation, yes, but why would this not be normal them? Because in all of the available, because.

A

You're not supposed to present now for the time. It's the only way you ever get in a compile error. Where this is art we treat attribute C, attributes, attributes or a.

G

Comma we're event info. If you give it a little tight at no rifts, but.

E

To your point, the B string represented probably be accepting a little well I'm. Looking at the code and the code literally just says, wrapped object equals value, no exams.

G

No figure out there if.

E

It's expected I.

G

E

Know if this it's does it doesn't then like crash or something yes, I mean you could just do one of these things up to class. You have an A+.

E

um It's probably acceptable, like just knowing inch walk. It's probably acceptable to pass out for repeating local, that's good.

G

Sometimes we've we've made the annotations match our content. Instead of.

E

You might have to ask Jeremy okay.

E

Where is consumed, it looks like the consumer also anticipates. Noll might be a little in value. Yeah I agree.

G

That one looks like it's: no man.

G

Well, I mean amusingly. The object constructor will throw if given a value.

C

Is it this hard cast yeah.

E

G

Yeah I guess the thing to check is: did that affects.

I

Hoaxes and no can go in and open. Okay I know what it come away, invented.

E

So because it's grayed out, that means it matches the event info based class quote. He says all right, yeah.

A

I, don't think he actually it's possible that the base is declared not knowable.

A

I'm compatible version.

E

Lots of attributes there we go finally, gonna think that Greece.

G

Now, on the the thing, with all the overrides as a public instructor that says it needs a non-null type in a non-null abit name, the nominal type was easy because it no resks, the non-dominant name- was harder because it went through 11 layers of indirection before anyone looked at it.

A

Look at this beautiful naming, kept those letters for parameter names or.

G

A

The other one I believe you.

K

You you Oh, combine and D is know, you will know.

G

Presumably remove as if you remove the last hour.

L

I believe it's true.

L

G

Oh, how I feel about calm sourcing.

I

G

If they can't be known, okay, no it was gonna, be. Should the everything after source interface, one say it could be. No because it's it's a forward flow waterfall. But it's not. It actually reads each argument individually.

F

And just simply.

G

Blind the dots through it. So if you pass Noll, you can't instantiate this rules up, because it will call knoll dot, full name.

E

Let's see if object is no little fun. Okay,.

E

With chastity Neelu I think it is very, but it's all an attribute, so doesn't matter.

E

But what's the worst of things that go on attributes? Well, if null is allowed, then be sure about.

H

If it is not references or any.

A

Past now doesn't make them again. The question is like it. We read of this thing. The Allah I expect this to be not.

A

Like default parameter is a good example right now. This.

I

A completely those people, value sentence or most times guilty.

M

F

We find a case where the the code wouldn't know Laura, for you know just kind of fail: do we go back and add a proper exception check there or not or just leave it, as is.

A

Well depends on where the check is. If the check is in the attribute construct, I, don't think advise you much.

F

In general, it was wondering if we've been doing that going back and you know retroactively leave it.

A

Yeah Stephen had tried.

H

To hold on that begun, changing.

A

Okay, Booker talk, but.

G

We probably would be slightly just to try to be going to if we cared about the common source interfaces attribute of being able to instantiate it, adding the null checks right. That's really a matter of like it just be like filing bugs we can creative violence I think what you lazy.

E

Interop service is chock-full of a be honest, just and they're all beautiful.

H

Yeah, there's that one that makes sense.

M

Which one so value can be? Okay, the Lord enough is about means, if you don't add, yeah.

I

E

What video actually move on is it 11 for attribute yeah? It's the gol name has to be attributed.

A

Like I expected it to be the path plus big.

G

Magic, it's it's just whatever the string is that you give as the required arguments. They were just saying it required, because it makes no sense to have another I.

E

Mean you can always pass on time to bring one? No, it's just too it'll blow up and.

G

Since it makes no sense to programmatically assign know, we say intersect.

G

Really ever ever fails, if you give it up no exception.

M

Used to map the fact nothing wrong, this apply to all attributes with the value like, for example, in the GUI attribute case, their general rule, then you can say which one for all attributes they're taking string. These are property value. It will be non malleable.

A

Well, the question of the attributes is always so the problem of attributes in general is like the code, never runs right, so you for the especially bad for things that are good with metadata or the compiler reads them, but it doesn't even matter whether you're parsing now or not. The compiler will just ignore those guys right, which means for the most part, if not, is not a valid stay, you'll never get an exception, but it also never works. So in that case, you should mark with more malleable.

A

There are cases where passing an eye makes complete sense, like the default value attribute that we just say you're in market malleable, because not as a valid value, but if the value itself is not sensible, then non malleable makes the most sense, because it's the only case that the chromatic attack should tell you that you pass in the wrong radio, because you never ever constructed that you do.

A

I know your bass is saying yep. If you manage to cause it now, then yep you get not reference later, but it probably would have got another reference later anyway. There's the constructor for the most part don't validate, because at that point it's damage has already been done.

I

Would you read me arrow.

E

River Park and I, so I was looking at that. Don't.

F

Question design the years oppose the exception is.

E

Allowed to be null okay, the object has been in test unit, the object can't be known, but the exception can be well because it turns into zero. Yes,.

G

Also know, what's happened.

E

G

E

G

Testing this yeah I was.

E

Doing I was doing.

G

E

G

Isn't went into it did a Q call into the runtime, so I didn't know if the answer is a return, so on an error, wrapper exception, yeah exception should be question. Mark objection.

G

We can decide when okay and.

A

This this was back to, let me guess a reason. We only had this API and it's for birth, as the exception was the Erika and then I.

G

Mean there are the thing that the object constructor does is just passed at the end, so I, don't know why you have an object constructor on it. Probably.

E

Because the error codes coming back as a variant or similar in the unboxing up this.

G

E

Net for Commodore off yeah.

G

If they're I guess the error codes not into throw argument exception,.

A

It might be a waste.

I

A hen will collect off.

A

So the possum is not a name. What does it mean? Return auntie then.

A

G

All right so for the good attribute, there's only one color of good attribute value, which is it sends it to Nu gooood, which knows, if you get a null so you're saying you should not give it this kind of.

C

E

The handle collector constructors do explicitly allow Nola's name. They promote the property port of they'll, be promoted to empty string. This idea, yeah milk, can.

D

Go in and he'll learn.

I

Oh man, hello, this is ty.

G

G

Custom adapter get underlying object, what to do whatever, but so what.

A

I wasn't wandering home and hand the collected works at all because it seems like you have a door we move betrays. It just means it's glorified rev counter. I have no idea what what happens when you with zero? What does it collect.

E

Handle rough allows being on the rocks in four or five I'm saying.

K

Struck and I'll be knows of it.

G

So I have no idea what we want the behavior by customer after good underlying object to me, because it's never.

A

Yeah I will be sure that you can return, although I don't.

G

Like this is just I, don't know if calm I unknown, handles an old dispatch. Your.

A

G

Think that's your question. We do not always.

D

G

D

D

Book it says, do not drive from this.

M

That's tomorrow takes an object.

M

G

I customer I mean it's an interface, so.

G

You probably don't have anything that uses it. We.

E

Do well marshal nominative might never know, call it. The infidel type is known, but I don't know offhand how all the motion improves, because, generally speaking, this interface is implemented by a meta type specified in some metadata somewhere, which basically says oh we're. Trying to pass a person across the pin goes down where you were calm down or let me tell you how to actually talk about thing.

G

There are only two hits for this and framework.

G

Marshall managed Marshall Mathers to native they both hard cast and then the reference August one of them were too technical.

G

It looks like maybe Noel doesn't make any mention that you.

E

You're you're, looking at the customer chaleur none of your face, I custom marshall, a that Marshall managed, but there are no calls yeah and the implementation is like. Everyone doesn't have to give me an invitation so and for a miracle and framework, no one doesn't null check. Oh I'm, looking at a source, donut yeah.

G

You're, looking your core I'm, looking the crane way: okay, yeah.

E

G

Three more the only one that really uses it is wind forms and they just hard cast at the font and then dereference it yeah yeah.

E

I found out there's in core some. Some other core types have an explicit motor on the entry point about nothing. So I guess even Alice.

G

Yeah as well to say.

G

Knowing that, whatever matters later than to do something, and in framework there again implementation there clean up manage data, there's nothing that looks.

A

I think most of the interrupts ones are in the territorial. You get various different degrees of interesting behavior when things are not the way that they want them to be just oh man, Marshall.

A

You I've spent on the master class and trying to unfuck it.

A

What happening.

A

Why just a little minute baby gave up.

G

With all the marshal stuff.

C

A

You also the naming is absolutely superb. In reprehended strength, object, OTP booth is being this.

E

Week this week, where T is object.

G

That means that, should that now be where T is not null yeah.

G

It means they can't be null because there's no question mark on it: okay I got it well. Have we fixed this impasse? There's a syntax that looks less okay moment.

A

I said generics are hard.

E

Do you think so, so this means T has to be a struct or long knowable reference type, and it can't be knowable to you, because, even though it's a struct as in the hole destruct, did not interpreting this correctly. Yes, okay,.

G

Yes, there was something it means it excludes any nullable of tea and that if it's a reference type in it inherits.

G

And one of the Marshall that copy things that it documents.

D

D

E

So sure requires a type final release. Calm object will throw theme, that's not no I'm, sorry we'll throw in, but doesn't here we go.

C

You do what I'm going to say.

E

I'm already quit for type I hope where I was a theme personal. Yes, it does. It come interface for I'm J.

G

G

No yeah also to say those thing.

C

And it could be returning in pitter down to zero in those cases, get the cone object. Data.

G

Reddit means Q call.

G

Doesn't it coupon yet, okay, if Ava's, not the secret type, calm object and it throws.

L

G

L

G

Lies our calls get data with whatever your keys.

A

This is the reason that the conversion of Ida sketch.

G

G

If the, if the object, has no object map as a result, there definitely takes something to return null.

G

He can be sometimes no, but this is go ahead and say can't.

G

G

Leaving ash tables and exercise.

M

You and how do we know that get exception for HR? You can't return valuable exception. Uhh.

A

That I can tell you that that's correct if.

C

G

We reach our zone.

E

A

I just happen to know, though, that's correct, Bay, Area, okay,.

G

Get HR for exceptions correct because we've tested that one in the last few minutes.

E

E

Did I dispatch forget I unknown, require Amano inputs and I'm tracing back through the cube halls. You're welcome I.

G

Mean that makes sense one almost.

I

They look at me.

E

Okay, fortunately, they're all can find within a single gigantic file.

M

But you know just what needed very yes,.

C

E

What do has come up.

G

I had AI hurts that hurts so much who was it pointer to string ANSI pointer? If the point here is zero returns null, while just ringing ANSI pointer length, if the pointer is null, it returns, the industry right.

I

Makes complete sense? Oh no.

G

I'm, sorry, if the pointer is null at first great.

M

E

That so essence, looking at get objects for native variants, so the ones to run okay yeah, the one directly beneath before the cursor is right now returns an object, a potentially nullable I'm. Sorry, a non knowable array of potentially mobile elements. So these sounds firing, sorry that she doesn't thought updates.

E

We've done some lots.

J

J

You mean the one one leg, but there's something like. Maybe maybe.

J

Probably should come perfectly yeah.

A

This is the this is basically the the multi version of this one right. So if this can be trunk, I done this can be turned out to.

D

Be not Express no.

J

I think that is the.

A

You don't need it because it depends on what your tea is. If you t is, train question might, and they can return another but know.

J

What even, if this.

A

Thing is non question like it.

A

Well that depends on the method, maybe, but it might be that you'd be okay, as it doesn't actually I.

G

Mean it's quite likely that all that understands is to drain the resistor mark, which means a string string in right still getting all out which may be the concern here.

G

This wood might need might need to indicate that there may be an attribute on this, because this is that maybe I mean I. Don't know if this hasn't might be Nolan, that's a reference type, because we don't have a way of expressing that might.

H

Be neither know right.

G

But we have like I, don't know, there's an attribute for saying if T is a reference type, this made me know that if it's a value type because the problem is, we can't put a question mark here, because that would turn into into knowable event, which is actually a binary breaking change.

G

So we have to do an attribute in this case to say the values me do you think is funny or something again, but we can't see that in this view, because we can either see what changed or what the attributes are, but not both yeah.

M

Like tre, a question mark.

G

That was within an array of if T was int. That would say it would be returning an array of no bullets, but it's not returning an array of elements. It's gonna rain events, it's only if it's a reference type that it won't know, that's an attribute for that. We just can't see it here.

M

Only happen if the question bubbles will between the tea and the bracket, I, don't what the question might be after outside the to back.

A

But but but then, but then I actually be not the case, but I mean it gets similar to how we did other things. Like parents already said well, the array is never not ever might be empty, but your way is never know. So that's why I think these two to me know consistent if the singular version gave the multiple versions yeah and then this one is just you know the generic version of this guy. So it depends on what what the guarantees are.

J

But this is actually like, even if we have a lot of new attributes. If we cannot express this with the eraser mothers.

A

It is a loner which is important, I, think what you mean is output, which is maybe now well. Do you love.

G

Em work actually makes it look like the array that it returns might be. Not that's.

M

What edition is use open areas, sources of kini well,.

G

In framework is called the generic one calls the non-generic one and then says if that returned non-null, making new typed array and copy it, which means that it thinks that the non-generic one can return null or they were just programming defensively.

A

And they were just at this, so.

G

It's a cute, it's a internal call, so I can't I, don't know, but it does the dotnet core version. B references objects that length without checking for null. So it believes that it's not meeting all back but framework checks for not okay,.

A

I know: what is it.

E

So I'm gonna make you sad here. I believe get object for I unknown and get unique object for I unknown could, in certain cases, become null, however, I'm pretty sure, no one in their right mind as I began they're worth a get unique object for I unknown. It takes an int pointer and also get object for I. Am this is around half a screen about?

E

There is a way, because I notice, because I've done it before to trick the runtime into thinking that you have a comm cobble, wrapper, that's laid out in a certain fashion, and then you can make it return thinking you can make it return things that normally wouldn't have returning for the attention that I mean.

G

The question here is no.

E

One should ever be doing this is, do we want to use it? We want to say a scenario if.

G

Null comes out, it's a bug or that if someone calls this API, they should be defensively or they should add a null check that putting the question mark here just says you should have the null checker. Thank you. That's really all it says. If there are cases where I can do it and we believe that that's a legitimate case, then we should say this might return null and should be checking it money. You.

E

Should only you should only skip the null check if you yourself controlled that in pointer and know exactly what's going on into the covers, so that probably implies just leave. It is non Moreland.

E

And American.

G

Well, no mean this is: don't need an.

E

Object, you should just skip the altar. No, no, no I mean the the overwhelming majority of users, like I'm, literally I'm, the only one and only person in the world. That's ever relied on to continue implementation, this weapon, okay, so I'm.

E

My question here is because I wasn't in the previous reviews is the idea that he wanted hit like the 99.99% case or, if there's even one case somewhere in the world, where someone might be doing that. What you need to know in.

G

J

G

If this requires passing anything, that's a misaligned pointer can.

F

G

Have been returned- and you are, you know, you're, depending on a like a SLR snafu and the Navy in the middle of doing this. Lookup that gets caught then like no. No one cares.

F

It does require multiple, after mention.

G

If it's a legitimate, you can have obtained this value from something in all comes out. We should say no can come up.

E

In my scenario, I have multiple abdomens which doesn't exist until, but it doesn't.

G

Frameworks which we've used to sometimes codify what that is.

C

I'm, just it's only matter on the core and then I, don't care yeah.

G

If it requires F domains, then maybe we should say: okay.

E

I, don't feel passionately down image. Just I wasn't here, I wanted to broach your question.

A

Like the gentlest word of the feature is, if you ignore the annotations on input boundaries and sneak in now, it's okay! If you give you an hour back, it knocks the card for that. Okay, that's.

G

One point, but since this takes just in pitter, there are no annotations on the input right. You yourself have to craft a special and do this.

G

E

Feeling all of those dunno trucks online, that's pretty cool.

E

I guess: listen.

G

Punk weary interphase Punk.

A

The pointer tool and.

A

The one that his length does not it's a bit odd.

G

You need to pointer the strings yeah yeah I already booked too close. That's that on that one. If ETR is zero, it returns null and on the next, with a PC. R is zero or throws right.

A

You know general Penner has to be alone zero and the ones that take a name for an officer I'm, just telling you what to code us yeah, no I, know but everything we generally said like. We accept zero values and then, if you don't pass zero than before, if you lay your indexing, this is really good. Yeah I.

G

Mean I'm looking at what framework does so that means that we we have a history of people should not have been passing zero into this method.

G

If we clean that up in whenever.

A

I've seen that marshal I think there's so much stuff to clean up. It's like no, you start the crypto. It is what it is. A different I assume.

G

Rebate that I wrote all throw. It says it's going to type it as a as an array that it's an internal calls.

G

It actually calls the to him and then calls in do you want.

E

Like I'm falling asleep here, looking at stuff like read by trading 16 and so on, yeah their behavior, is they throw if the inputs no, but they throw an access violation exception because of course, because they're partially, you.

G

Gave it null yeah? That's what it means when you you retinol and.

A

I guess what this means all for sake. Yes,.

H

E

Or CV normal.

K

E

Combos, oh my god. Yes,.

I

As opposed to CCH,.

J

E

E

G

All right release, comma object will grow, I, don't know.

G

You know the pesticides I've throws if it's given no big thing all the.

D

Endpoint and returning things specially Oh.

D

They always thought right, No.

G

No because if you do string to bestir bestir to string zero, it gives you back zero.

D

An object is an internal.

E

For things like structure two-pointer, do we need to do like the where T is object?

E

As was mentioned earlier? There.

I

Was really nothing.

E

These guys here, structure two-pointer it's directly underneath the block of everyone.

G

E

Set over existing so the parameter.

G

Attribute on T structure has the attribute disallow knoll again, we just can't see here we can either see at Auto meet or Deaf's, but not book. Okay forgot it. So it has said that each of the t is a reference. Type null should not go into this per hour.

G

Yes, we like once we got once we started doing all this. We found out that no mobility didn't work for generic and we had to go in that generic Knoll ability. Okay,.

E

Cops about their.

A

Visions, they're teaching.

G

Us everything.

A

G

Addresses real.

A

Smile betrays your your apology, I'm, so.

G

Sorry I can't come to your meeting yeah, so the unsafe address of Pend Oreille element. Both methods does throw any careers.

H

Delusional the.

G

Ones right above your cursor are correct. Okay, they, unlike half of Marshall but like the other half of Marshall. They don't have.

G

And I assume right bite is gonna, be an internal call, means I, don't care what it does.

A

Yeah, but these are the kind of things stick them.

G

Over if, anyway, if PTR is null throw new access violation.

H

Why should as attribute.

H

Yeah, you can only know, obviously.

D

A

The pool personality in swap services within you or at sea.

H

One of you who wear it in job services wouldn't know that remember.

F

H

Police, even right.

J

Might have been many things you know, native.

G

Library load throws, if you give it know, yeah.

G

Tray loads also throw different.

H

Properly introduced and accepted.

G

So Brock Eide afternoon there's only one color and it checks for no.

H

Just ignore it, it.

G

Turns it mystery attitude.

D

Well, is it useful just.

G

Like under Marshall, there's generate clog ID for type and if the type has the attribute, but the value is not other extreme it which is different than if the attributes missing remove terminal. If the attributes missing it returns, high-performing.

G

The attribute is no only gets typed on full name. If the attributes present it returns value unless it's null and then it return string.

C

Kind of is an enemy of my pocket gratitude, even though.

G

It's this kind of already that's fair I'm, just like we do handle it. The marshal does handle it. So, theoretically, it should be in question mark on both the constructor hidden property. But if we want to say it's interrupts services, we're just going to tell you that don't put ball here. That's why I mean.

A

If somebody comes in with scenario where you have to conduct a special knock on door, they knock off edit I, guess yep. When time environments he was riddled, I wouldn't expect as a consolation prize of available.

D

G

Presumably TSA's can tell you the path, but it we're going to look at.

A

I guess that's fair mayor going to you that the flex exist course Rose platform I.

D

Supported attention- and that case, whatever we want to put there.

H

H

What's the global excess cash do them in mobile assembly cache.

G

And then system configuration file on run time is what path or what the file should be. It doesn't check for it. The checks that you have the cast permission to talk about it.

C

J

D

The previous safe.

D

Because nurses.

G

I mean whatever the superball.

L

Or the I was abused.

L

Okay, look at Tiffany.

G

From global access cash, which then is returned a global assembly cache, so yes, they they miss expanded, gak and it'll know breath.

B

Not know, what's good.

L

L

Yes, then, what is the value on?

L

A

Before they call it flex back the name before this is so sad hi.

G

G

Import class that two thing, which is.

A

G

It is the string type : space followed by assembly, nothing so that we followed by type that name for the short name, sure it's a it's a pretty useless.

H

H

But I don't replicant a control object, apparently.

G

I mean returns it to you happily good. Presumably, what they're documenting here is that it didn't check on anything and as long as you don't actually pass it to calm, but you could. You should use the type to be a rapt object for whatever purposes you wanted to. Okay,.

A

I'm making decision you're not right here in this man's face because it's garbage calm tides is just a bunch of peppers for three different devices that nobody should use and.

M

It looks like they're just came.

G

In they're, probably.

A

G

Instructed me, though, this.

M

Will do it just to see or.

G

Click a button that makes.

M

It particularly verify that it's obviously different, strokes and.

A

Then, even if it's plow through it yeah yep, it's.

C

The faces like it's not worth it.

A

With none of them make sense, yeah.

G

There's been too many gifts that over here it is gone. I was much happier when it was all just value, structs and enums, and then we could say we at least looked but yeah.

A

So we look real, have you decided to be down here? Alright, secure string, all right, I feel worse than I would seriously that's not.

H

So simple: it's just nobody.

G

M

Our coffee, huh I.

G

Believe that saying, if you have a nominal secure string and you call copy, it will not return null because there she pretty shitty of sick, your stricken deck off. You return. Oh I'm,.

A

Amazed as more types as a turning object, I mean, let's be real, like that's normally the way they I guess it's clone. Normally. Yes,.

G

This is clone, but for some reason they call it copy well you're, both with them, because it's a it's a deep copy, they're big they're, making this comment to do a deep copy.

G

G

You believe we have said that object that equals object is object. Question mark that's.

A

What we you just say, yes, you.

G

Should just become false.

G

C

C

C

A

The invitation is correct right.

L

G

A registration token table of tea is weird because it's Matias class and it clearly uses party as delegate.

A

You can say we're T : better. There.

G

hmm Nothing else you should be able to say belly with a capital D, which is any type of extend system. I, delegate.

A

No I don't think you can I think they like it anything. You cannot express some part that doesn't know.

C

It's a common feature because.

G

It'll be numb they added. Finally good thing: yeah, like C sharp, you know, 87 87 yeah somewhere in the 7:30 to 8:00 cuz Arielle, has always supported that. You know.

J

Physically, at more.

J

A

For example, they lowered their the busy of generic methods over the subjects api's and you're supposed to pass on either the BB semtex kind or the C sharp semtex kind. But you can only instantiate the Ruthenians and.

J

A

J

Essentially, one of the two Imam sweet luckiest.

A

F

J

Have like, like a bug by integer Allah, is explicitly asked and of the.

G

I don't, but it lets you lets you do the things like understand that the two drinking that was going to make sense, whether you can call enum get strings and it's not going to throw so it constrains it. So that you're in a state where offering instead of we're like enum, don't get values as it takes a an unconstraint e and then throws if T's not an enum would have been nicer to just string.

D

Although it is contrived.

D

D

D

D

That is the namespace right, hmm think so yeah. Why does it ever been only a ray.

G

Other middle of your screen, we don't when you're, ready return value like return value me don't seem like they have anything to do with windows.

A

Nor, whatever patterns in the one IT API servers there better represent the projections of I mean it's their attribute, but it's so good. It's how old they are to be the projection to ours.

A

We talked about this world is different from any other God in versus out as different behavior. You.

G

I windows, runtime Marshall dot string to H string, will throw if given.

H

Actually think I will see if you have.

B

And all these fellas we're not to use that's good.

G

An activation factory throws I believe Adam at hand for Elsa.

A

Everyone, so that means you have no feedback to this. One.

A

I can check, but I think this is. This were the only things he gave me, so we only have.

A

How the I talked more files, while we were reviewing.

A

So that we make good progress.

A

Santee, it is so sad all right.

A

The collections concurrent didn't be reused. Oh now, this is when Steven is Iran. Okay, we said we will do this later, so it did.

C

What what happened to you.

G

Back-To-Back meetings instead, I went to our meeting now.

A

Apparently my mind to put it into projector wind, dark and filmy that killed the meeting.

I

A

Okay, so let's do the following then so can we skip? Let's do concrete the concrete all this one is empty is.

K

A

No I'm, looking on my thing when I'm going up, that's what I mean: oh the projector, just to be safe, I.

D

H

A

If you guys make me, tell me, wanna consider that in action.

A

Go to the burger.

L

Well, it's folded because.

A

You probably added those guys.

J

M

All of these can be loved.

M

M

Are not the formats will increase.

M

M

M

M

M

H

The printer takes a farmer before.

M

I'll be right light.

A

You I mean those are the kind of places where really flowing is probably a bad idea, but.

G

Is that the problem is the string that format Rose? If you give it an awful major city handle it? Maybe both.

A

So they all make sense, then right I mean they're all consistent.

G

Right, so you can call bright-line with a null message right, a bike yeah. But if you call right line the format you have to give it and then right line again string that, for my also cares that.

A

What are you for getting away? What the would happen now? That's a constant. We cannot agree on the constant sum we do to the content is now.

K

A

Dog before killing her well, that makes it.

G

H

And that is no.

G

In fact, yes, it's a static, read-only string. No, though you call these api's of category default category, it's just a fancy way of saying dull.

G

Shockingly, there are no references to that very work.

A

But I'm glad we have a feed. X is everywhere.

D

No, we don't judge that because we don't call it.

A

Because it gets be determined and Bobby because you don't build with the buggers.

A

The sorting nexin debug context, Oh.

G

A default category is in 0.2% of API for telemetry.

A

So 0.12 percent of people doing it really expensive not like this.

A

Display what happens if you make this long how's that useful.

G

There's no bling, it falls back to 2/3.

G

A

Seems like a dumb thing.

A

G

If you give it the null value in its constructor, it turns into the industry.

G

Constructor explicitly handles no I get.

A

That all I'm saying is I hope you want similar to the ID like it seems like. If you did all this playing, nothing in the debugger wasn't multiplied. They attribute.

G

Yeah, the only thing I can think of is if you want to hide them yeah, if you were injecting these at one time, and maybe you got an old somewhere out of them. That's weird.

D

That should be thank. You did.

D

L

G

A debugger tech, proxy I.

A

Think I know what the answer is. One of the two is not now.

G

Okay, so if you've instantiating it with a null type argument, it will throw and then, if it's not a null type argument, then it will no more use assembly qualified name, but if the type is a generic type, always one of them is more. No, because if, if the, if the type of the generic type then assembly qualified, they might return both right, you're.

A

The thing that actually said I think I think yeah. This is just one corner case, but I guess. If you call this constructor, then this one is set and as what you just said, it's true. If you call this constructor than this one, it said in this one they're.

G

Actually banging it away, so there I think of their cases that you've instructed. You probably can't do it in an attribute declaration, which is probably why they said it's not null cuz I, don't think in an attribute declaration. You can talk about a very generic parameter, but if you created one of these at runtime, you can definitely get an old back by asking in a method in generic right. Well,.

A

Actually, you and the nested thought you should be able to see the outer contour ometer yeah, so.

G

I might need to say proxy pipe name is well.

C

But I would only say this is like a bad idea. Yeah all.

G

Right so target if I mean I believe that target is now when you cinch it with the type name or do they actually resolve the time their target is normal unless you call set.

I

G

It targets get gets target without resolving anything if.

A

You're gonna take type, doesn't say: no. If you.

G

The only thing the constructor does is set proxy type name in both of them.

G

Then target returns the value you've stored in it, but if you store a value in and it will recompute target typing, the target type names only said if you set target and if you set target type name, it doesn't reset target. This is, does.

A

It mean I can apply the attribute on the proxy and pour into the target type that I'm looking for.

G

Because I think, if you call the gate attributes it gives you I mean there must be a method that gives you back this specific attribute, because otherwise it would give you a new attribute. Every time you called the method, so nothing would be proxying it good.

A

Thing that any another ability annotation shouldn't be that hard right. If you can't even figure out what the flow is, yeah.

G

No, so definitely if you, if you just call the API and you get one of these off of it- to get custom attributes, archetype name is null and target is null sure. And then you can. You can change either of those via the setters. So.

C

That means to do it correctly. No weird, it's correct.

G

Except that, technically speaking, you there is a type you can give it that would turn proxy type Nathan proxy type name into. No, you just have you don't care so that we can move on.

A

While Emily there's, only two men to composite actually deserve to be at the VSD burger and hopefully wear bells with the burger right.

H

Dragon visualize attribute I.

D

A

When you expand certain collection times, we show you not the actual, try to show you there. Oh this.

G

Look, this is the plus in sorry,.

A

That's I did so the type of seasonal collections the visualizer is the is the is the loop that we show the children like a like, an XML editor or a text edit or basically pops up UI.

G

I'm gonna trust the gunner right again.

C

That's like two people using that don't care.

G

It's my I'll trust. They got away.

G

If VSD bug wants to complain that we either need to add or remove a question mark, we will do whatever they ask.

A

It's the only ones to know the correct answer.

G

Explored I mean they're, definitely off like so I pulled it up wait. It definitely throws a lot of argument, no exceptions in its constructors.

G

You can definitely put the system in a state where your custom attributes will go.

C

G

Can't it's just generally bad right. Alright, so saying do not put null here is, is good.

A

A

A

Screen new instance all right, Oh.

C

We don't have yet the bug we just did. Victory's.

C

C

A

This wouldn't be such a.

C

All right here we go: stick tres.

C

M

M

This is simply McCain call. You loser well.

A

Yeah there may be only real stuff that is in common.

L

M

Diagnosed later,.

M

M

D

G

In framework get method method as contract insures result is not known, which one food for s get method.

J

We're getting there what do?

J

No, because he cannot get this I like I'm it. It.

G

Cheap make sense, it says you know public virtual method based get method, contract out insurers contract that result method based not.

D

G

Probably correct that, though, the the contracts API from framework that this is not knowable.

A

And again, I'm not sure we actually validated that ever so there might have been an empty promise, mean.

G

Like contracts, yes,.

G

Yeah I mean I'm pretty sure that that value is null by default, but it promises that it's not null.

K

And probably just yeah that you know you're safe.

I

You know: where does it.

H

Come from over reading only.

H

G

G

G

When you, some of the constructors, will do it, the problem is.

J

You, even if you're such doesn't need to be a quality picture like the very fraction of guys you get mad every time.

G

Actually, all the public constructors and framework, all of them, unless you, unless you give it a number of frames to skip that is more than the current call stack, is tall. It will be unknown.

A

G

I'm looking to see if in core, we are, let's see.

B

Someone is to investigators yeah, so that.

G

One's that one should be looked at it, it seems like not null is the right answer, but if they have a reason.

A

To use some of this team, smoker I mean finally makes sense, but you might have some real good.

C

A

Chrome extensions yeah those make sense to me, but uh passing a nominal stack frame.

J

Got good friends the other.

A

Yes, the single point that seems awesome fishing to children to turn Thanks.

C

G

If you all the constructor that takes.

G

The exception of skip frames that I need file info I think it might, but exactly.

G

But that the reason that get frame says it can sometimes return it completely. Null array is, if you call the longest constructor, can you tell I can skip more frames that exist? I think it has been get frames, returns null Liat a let's skip 30 frames, but you're only 5 frames off of the fight.

F

G

H

Mean my point still sells: I think I was weird as they returned later. Their butt.

G

If methods to skip is the only time it will populate, that array is, if number of frames to populate is not fair, is greater than zero once it's not zero, it'll be great. So if you, if you ask it to skip the entire stack frame, then you'll get back. So it is a. It is an unchecked argument or an unchecked constructor input that if you go back.

G

It's not anything any most people will ever see, but it is.

C

G

D

G

I symbol by the one which looks exactly that: guy symbol back yeah.

C

And then those are the ones are it's an imp, inner.

C

Should could have been I simplified? You too look at this. This is sexy.

G

We have no I symbol by using course. We don't.

G

They get sequence points allows every argument. We know.

G

I guess it's to fill a p.m.

A

All right, some call might be on right, I, think it's and things of the native PDB.

C

Reader supervisor yeah with that all right.

C

G

C

G

Symbol writer requires all those supposed to be.

G

G

A

And so the first actress with the loader windows, runtime drop services sector s, the bug, contracts, the contracts. We don't have beef, we don't have an after, we do ever before and then we open the before and see.

A

Is there any question.

A

Oh well all of this. You just review this, even though there is no after we can decide what we want to invitations to be them.

G

G

C

It's just the unified different presentation.

G

Maybe so everything is deleted, paint.

A

No I will just if the api's it would basically just being on this boat changes, contract.

G

G

You I guess part of the problem here is none of the code, for this is actually in Berlin.

G

Contract assert their insurers on throw the condition and a message and doesn't use any of those arguments means that it's the contract tool understands what to do with all of these things.

G

A

Will just go over this and see that do we expect anything to be done from here, but I guess the answer would be well like insurance.

G

On throw might take an old message.

J

We in the safest but religious, up-to-date, nominal.

D

G

No idea what contract that old, now you supposed to do.

A

I mean called friendiy I, don't think we care about coke contract anymore. It's a faceted, etymology.

G

The value of value as it was at the start of this method.

A

Which one I use walking about.

G

Tracked, our old value intensity.

M

Similarly, value-added.

J

Presumably, like once.

G

The description is represents the value of value, as it was at the start of the method or property.

A

The basically a way for you to express the relationship between the old state of the object and the new state of the object.

G

Yeah but think the.

G

If anyone wants to use this, they may have to throw a bunch of bags and question marks at it and when they complain.

G

And I mean none of this comes here.

G

G

A

A

A

All right so I think these are all the assemblies that we had on the share. At least we looked at everything but concurrent because that one we should probably look review of Stephen. It did contract. We did the back with its neckties. We didn't throw up servers into a pervasive in his runtime and loader, so we're good for what I got from something.

A

K

A

Image, the middle generation amid lightweight primitives resource manager, principle encoding extensions.

A

We did system buffers, didn't we oh. This is the memory.

A

Concurrent diagnostic tools and tracings, whether it's one, two three four five six.

A

Eight nine ten eleven but they're all small contracts, yeah I, think the only become was amid is that.

A

hmm It's not that big of a kinky epic.

A

All right, then, I think that's it for today, then oh, but it's on the call anymore. So let's do that hang up there and I think livestream is Ruby were connected and I will hang up now.