28 ranged int

[IBims1NicerTobi]

No description provided.

[VonTum]

I believe nothing was actually changed in this file, and it's just a cargo fmt run?

[IBims1NicerTobi]

@VonTum what exactly happens here now?

if let ConcreteTemplateArg::NotProvided = &template_args[*template_id] {
    template_args[*template_id] = ConcreteTemplateArg::Type(connected_typ.clone(), HowDoWeKnowTheTemplateArg::Inferred)
}

Does this just turn into

if let ConcreteType::Unknown(_) = &template_args[*template_id].kind {
    template_args[*template_id] = ConcreteTemplateArg {
        kind: connected_typ.clone(),
        source: HowDoWeKnowTheTemplateArg::Inferred,
    }
}

Or do I have to do something with the id from the ConcreteType::Unknown?

[VonTum]

So just for context, you're looking to eliminate the ConcreteTemplateArg struct right? I recall us talking about this during our last meeting.

Certainly it is not possible to simply replace the Unknown with a copy of the type, rather it would need to be unified, using the local typ_substitutor.unify(). Let's discuss this tomorrow.

[IBims1NicerTobi]

Since we didn't really talk about that this week can you maybe just answer the question here?

[IBims1NicerTobi]

I can provide more info if you need it

[IBims1NicerTobi]

@VonTum I have ported ConcreteGlobalReference so I think this can be closed right?

[VonTum]

Discontinued in favor of #50